private String getFrameMapName(String spaceName, Varnode framePointer) {
		if (framePointer.isUnique() || framePointer.isConstant()) {
// TODO: May need to handle VarnodeOperation for more complicated access
			throw new IllegalArgumentException("Invalid frame pointer");
		}
// TODO: Map name needs to factor in current value assigned to framePointer
		return spaceName + "/" + framePointer.getAddress().toString(true);
	}
When no longer updating this state, this method should be invoked to
cleanup resources no longer needed (e.g., uniqueState no longer 
maintained).
Ghidra/Features/Base/src/main/java/ghidra/util/state/ContextState.java