public void addState(ATNState state) {if (state != null) {state.atn = this;state.stateNumber = states.size();}states.add(state);}

public virtual void AddState(ATNState state){if (state != null){state.atn = this;state.stateNumber = states.Count;}states.Add(state);}
