(* state 9 has unexplainable conflict *)

%token B EOF
%start <> phrase s

%nonassoc B CCC

%%

phrase:
 s EOF {}

s:
 a s? {}
| B {}

a:
 {} %prec CCC