(* state 2: unexplainable conflict *)
%token B C EOF
%start <> phrase s


%nonassoc B

%%

phrase:
  s
  EOF * (* changing '*' here triggers the line 391 assertion *)
  {}

s: B 
   EOF *
   {}

s: a s {}

a: {} %prec B