void mergeAvailableLoadSets(ValueNumberFrame other) {
void mergeAvailableLoadSets(ValueNumberFrame other, ValueNumberFactory factory) {
	void mergeAvailableLoadSets(ValueNumberFrame other) {		if (REDUNDANT_LOAD_ELIMINATION) {			// Merge available load sets.			// Only loads that are available in both frames			// remain available. All others are discarded.			if (other.isBottom())				this.availableLoadMap.clear();			else if (!other.isTop())				this.availableLoadMap.entrySet().retainAll(other.availableLoadMap.entrySet());		}	}