//Simple Test
A : B|C.
B : D|E.
F = J.
D = <x>X <q>X.
E = <z>Y <z>Y.