Fact factAtInstruction  = getFactAtInstruction(handle); copy(result, factAtInstruction);
Fact factAtLocation = getFactAtLocation(new Location(handle, basicBlock)); copy(result, factAtLocation);
	public void transfer(BasicBlock basicBlock, InstructionHandle end, Fact start, Fact result) throws DataflowAnalysisException {		copy(start, result);		if (isFactValid(result)) {			Iterator<InstructionHandle> i = isForwards() ? basicBlock.instructionIterator() : basicBlock.instructionReverseIterator();			while (i.hasNext()) {				InstructionHandle handle = i.next();				if (handle == end)					break;					// Record the fact at this instruction				Fact factAtInstruction  = getFactAtInstruction(handle);				copy(result, factAtInstruction);					// Transfer the dataflow value				transferInstruction(handle, result);			}		}	}