tried adding in the investigate_nonterminals set