public RangeTransition(ATNState target, int from, int to) : base(target) { this.from = from; this.to = to; }