*/
	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 (handle.getInstruction() instanceof InvokeInstruction) {			NullnessAnnotationDatabase database = AnalysisContext.currentAnalysisContext().getNullnessAnnotationDatabase();			if (database != null) {				InvokeInstruction inv = (InvokeInstruction) handle.getInstruction(); 				XMethod called = XFactory.createXMethod(						inv,						methodGen.getConstantPool());				SignatureParser sigParser = new SignatureParser(called.getSignature());				int numParams = sigParser.getNumParameters();								for (int i = 0; i < numParams; i++) {					if (database.parameterMustBeNonNull(called, i)) {						// Get the corresponding value number					}				}			}		}*/		// Check to see if an instance value is dereferenced here		checkInstance(location, vnaFrame, fact);	}