Location assignedNullLocation, BitSet derefLocationSet, IsNullValue refValue);
Set<Location> assignedNullLocationSet, Set<Location> derefLocationSet, ValueNumber refValue);
	public void foundGuaranteedNullDeref(			Location assignedNullLocation, BitSet derefLocationSet, IsNullValue refValue);