Removing unreachable new nonterminals