@Override
	public String toString() {
		return a+".."+b;
	}
Return the interval with elements from this not in other;
 other must not be totally enclosed (properly contained)
 within this, which would result in two disjoint intervals
 instead of the single one returned by this method.
runtime/Java/src/org/antlr/v4/runtime/misc/Interval.java