S : A | B;
A : 'a';
B : 'a';