// g_90v.g  test eliminate

verbose 7
start S
terminal a ;

S -> A B ;
S -> a ;
A -> a ;

// should just end up with   S -> a
enddef
a