prune s1 := s2 s2 ::= s3 s3 ::= s4 ... rules
treat lexical ambiguity as a special case