public void foundNullDeref(Location location, ValueNumber valueNumber, IsNullValue refValue);
public void foundNullDeref(Location location, ValueNumber valueNumber, IsNullValue refValue, ValueNumberFrame vnaFrame);
	public void foundNullDeref(Location location, ValueNumber valueNumber, IsNullValue refValue);