visitor.setFrame(fact);
visitor.setFrameAndLocation(fact, new Location(handle, basicBlock));
	public void transferInstruction(InstructionHandle handle, BasicBlock basicBlock, ValueNumberFrame fact)	        throws DataflowAnalysisException {		Location location = new Location(handle, basicBlock);		ValueNumberFrame atLocation = getFactAtLocation(location);		copy(fact, atLocation);		visitor.setFrame(fact);		visitor.setHandle(handle);		visitor.analyzeInstruction(handle.getInstruction());		ValueNumberFrame afterLocation = getFactAfterLocation(location);		copy(fact, afterLocation);	}