private void changeNullnessOfValue(ValueNumber valueNumber, Location location, DefinitelyNullSet fact, boolean isNull) { fact.set(valueNumber.getNumber(), isNull);
private void changeNullnessOfValue(ValueNumber valueNumber, Location location, DefinitelyNullSet fact, boolean isNull) throws DataflowAnalysisException { fact.setValue(valueNumber, isNull);
	private void changeNullnessOfValue(ValueNumber valueNumber, Location location, DefinitelyNullSet fact, boolean isNull) {		fact.set(valueNumber.getNumber(), isNull);		if (isNull) {			fact.addAssignedNullLocation(valueNumber.getNumber(), compactLocationNumbering.getNumber(location));		} else {			fact.clearAssignNullLocations(valueNumber.getNumber());		}	}