Duplicate nonterminals removed