public virtual NFAState NewState() { NFAState n = new NFAState(nfa); int state = nfa.GetNewNFAStateNumber(); n.stateNumber = state; nfa.AddState(n); n.enclosingRule = currentRule; return(n); }