1 2 3 4 5 6 7 8 9 10
// 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; }