public int getDFASize(int decision) { DFA decisionToDFA = atnSimulator.decisionToDFA[decision]; return decisionToDFA.states.Count; }