if (!state_it->nodeTrans.count(*alph_it) == 1) on line 22 in
Automaton.cpp