def METHOD_NAME(self, next_, nonterminal_or_string=None):
    assert nonterminal_or_string is None or isinstance(nonterminal_or_string, str)
    assert isinstance(next_, NFAState)
    self.arcs.append(NFAArc(next_, nonterminal_or_string))