foo::= X 
bar::= A B C
baz::= A qux D
qux::= B | C