public boolean properlyContains(Interval other) {
		return other.a >= this.a && other.b <= this.b;
	}
Are two intervals adjacent such as 0..41 and 42..42?
runtime/Java/src/org/antlr/v4/runtime/misc/Interval.java