public abstract void transferInstruction(InstructionHandle handle, Fact fact) throws DataflowAnalysisException;
public abstract void transferInstruction(InstructionHandle handle, BasicBlock basicBlock, Fact fact) throws DataflowAnalysisException;
	public abstract void transferInstruction(InstructionHandle handle, Fact fact) throws DataflowAnalysisException;