If the context guard g is not a subset of the lookahead context for r1\r
(in other words g is neither A nor B) then the code may execute r1 \r
even when the lookahead context is not satisfied. This is an error\r
If the context guard g is not a subset of the lookahead context for r1\r
(in other words g is neither A nor B) then the code may execute r1 \r
even when the lookahead context is not satisfied. This is an error\r