@Override
	public void remove(long snap) {
		try (LockHold hold = LockHold.lock(space.lock.writeLock())) {
			if (snap <= lifespan.lmin()) {
				delete();
			}
			else if (snap <= lifespan.lmax()) {
				doSetLifespan(lifespan.withMax(snap - 1));
			}
		}
	}
TODO: This may cause a problem when modules span multiple spaces. Well, the whole "unique
path" thing may already be a problem in that case, since each module is allowed one
address range. Maybe unique names within spaces only, and somehow a module comprises all
its entries among the spaces.
Ghidra/Debug/Framework-TraceModeling/src/main/java/ghidra/trace/database/module/DBTraceSection.java