further simplification of redundant bits in grammar.