@SuppressWarnings("unchecked")
	public Set<String> getTruncatedSpaceNames() {
		if (truncatedSpaceMap == null) {
			return Collections.EMPTY_SET;
		}
		return truncatedSpaceMap.keySet();
	}
@return set of address space names which have been identified for truncation
Ghidra/Framework/SoftwareModeling/src/main/java/ghidra/program/model/lang/SleighLanguageDescription.java