Removed spurious error message in lex.convert_NFA_to_DFA