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