public void endTransfer(BasicBlock basicBlock, InstructionHandle end, Object result_) throws DataflowAnalysisException { StateSet result = (StateSet) result_;
public void endTransfer(BasicBlock basicBlock, InstructionHandle end, StateSet result) throws DataflowAnalysisException {
         public void endTransfer(BasicBlock basicBlock, InstructionHandle end, Object result_) throws DataflowAnalysisException {		StateSet result = (StateSet) result_;				// Append this block id to the Paths of all States		for (Iterator<State> i = result.stateIterator(); i.hasNext(); ) {			State state = i.next();			state.getPath().append(basicBlock.getId());		}	}