if (CHECK_CALLS && handle.getInstruction() instanceof InvokeInstruction) { checkUnconditionalDerefDatabase(location, vnaFrame, fact); }
	public void transferInstruction(InstructionHandle handle,			BasicBlock basicBlock, UnconditionalValueDerefSet fact)			throws DataflowAnalysisException {				// If this is a call to an assertion method,		// change the dataflow value to be TOP.		// We don't want to report future derefs that would		// be guaranteed only if the assertion methods		// returns normally.		if (isAssertion(handle) || handle.getInstruction() instanceof ATHROW) {			makeFactTop(fact);			return;		}		// Get value number frame		Location location = new Location(handle, basicBlock);		ValueNumberFrame vnaFrame = vnaDataflow.getFactAtLocation(location);		if (!vnaFrame.isValid()) {			// Probably dead code.			// Assume this location can't be reached.			makeFactTop(fact);			return;		}				// If this is a method call instruction,		// check to see if any of the parameters are @NonNull,		// and treat them as dereferences.		if (CHECK_ANNOTATIONS && handle.getInstruction() instanceof InvokeInstruction) {			checkNonNullParams(location, vnaFrame, fact);		}		// Check to see if an instance value is dereferenced here		checkInstance(location, vnaFrame, fact);	}