if (invFrameAtNullCheck.isValid()) { IsNullValue isNullValue = invFrameAtNullCheck.getInstance( locationOfDeref.getHandle().getInstruction(), methodGen.getConstantPool()); if (isNullValue.isDefinitelyNotNull()) { return true; } } return false;
int instance = invFrameAtNullCheck.getInstanceSlot( locationOfDeref.getHandle().getInstruction(), methodGen.getConstantPool()); return isNonNullValue(invFrameAtNullCheck, instance);
	private boolean isDerefOfNonNullValue(Location locationOfDeref, IsNullValueFrame invFrameAtNullCheck)			throws DataflowAnalysisException {		if (invFrameAtNullCheck.isValid()) {			IsNullValue isNullValue = invFrameAtNullCheck.getInstance(					locationOfDeref.getHandle().getInstruction(),					methodGen.getConstantPool());			if (isNullValue.isDefinitelyNotNull()) {				return true;			}		}		return false;	}