if (IsNullValueAnalysis.DEBUG) { System.out.println("Updated information for " + valueNumber); System.out.println("                    now " + this); }
	public void setKnownValue(ValueNumber valueNumber, IsNullValue knownValue) {		knownValueMap.put(valueNumber, knownValue);	}