Main = <s> String.
A : B | E common <a> X.
B = <x>X <X>X .
C : G | X common <y> D <z> B D.
E = D F D.
D = .
G = <a> A <a> B.
X = .

// only complain should be at G, E