if (ins instanceof LoadInstruction || ins instanceof IINC) {
if (ins instanceof LoadInstruction || ins instanceof IINC || ins instanceof RET) {
	public void transferInstruction(InstructionHandle handle, BasicBlock basicBlock, BitSet fact)		throws DataflowAnalysisException {		Instruction ins = handle.getInstruction();		if (ins instanceof StoreInstruction || ins instanceof IINC) {			// Local is stored: any live stores on paths leading			// to this instruction are now dead			LocalVariableInstruction store = (LocalVariableInstruction) ins;			int local = store.getIndex();			fact.clear(local);		}		if (ins instanceof LoadInstruction || ins instanceof IINC) {			// Local is loaded: it will be live on any path leading			// to this instruction			LocalVariableInstruction load = (LocalVariableInstruction) ins;			int local = load.getIndex();			fact.set(local);		}	}