Bug fix: removeUnusedNonterminals