Unused filtered nonterminals are removed.