knownValueMap.put(newValueNumber, knownValueMap.get(oldValueNumber));
IsNullValue isNullValue = knownValueMap.get(oldValueNumber); if (isNullValue == null) throw new NullPointerException(); knownValueMap.put(newValueNumber, isNullValue);
	public void useNewValueNumberForLoad(ValueNumber oldValueNumber, ValueNumber newValueNumber) {		if (newValueNumber.equals(oldValueNumber) || !trackValueNumbers) return;		knownValueMap.put(newValueNumber, knownValueMap.get(oldValueNumber));		knownValueMap.remove(oldValueNumber);	}