fact.set(valueNumber.getNumber(), isNull); if (isNull) { fact.setAssignedNullLocation(valueNumber.getNumber(), compactLocationNumbering.getNumber(location)); }
changeNullnessOfValue(valueNumber, location, fact, isNull);
	private void setTOS(ValueNumberFrame vnaFrame, Location location, DefinitelyNullSet fact, boolean isNull)			throws DataflowAnalysisException {		ValueNumber valueNumber = vnaFrame.getTopValue();		fact.set(valueNumber.getNumber(), isNull);		if (isNull) {			fact.setAssignedNullLocation(valueNumber.getNumber(), compactLocationNumbering.getNumber(location));		}	}