ValueNumber refValue);
ValueNumber refValue, boolean alwaysOnExceptionPath);
	public void foundGuaranteedNullDeref(			Set<Location> assignedNullLocationSet,			Set<Location> derefLocationSet,			ValueNumber refValue);