token x;
token y;
token z;

S { A y y; B y z; }
A { x x; }
B { x x; }