default Lifespan withMin(long min) {
		return DOMAIN.closed(min, lmax());
	}
An interval tree implementing {@link MutableLifeSet}
Ghidra/Debug/Framework-TraceModeling/src/main/java/ghidra/trace/model/Lifespan.java