going back to nonterminals_set