// g_elim.g   test eliminating 1a  1b 2  3

verbose 4
start S
terminal a b ;
variable S A B C X ;

S -> a X b ;
S -> a A ;
S -> A B ;
S -> a S a S a ;
A -> B ;
A -> a ;
B -> A ;
C -> a ;
S -> #e ;
C -> #e ;

enddef
aa
#e
a