protected ATNState GetReachableTarget(Transition trans, int t) { if (trans.Matches(t, char.MinValue, char.MaxValue)) { return trans.target; } return null; }