protected ATNState GetReachableTarget(Transition trans, int ttype) { if (trans.Matches(ttype, 0, atn.maxTokenType)) { return trans.target; } return null; }