// A variation on the first reconvergence test.

token x;
token y;
token z;

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