private boolean applyTransferFunction(List<E> info, Instruction currentInstruction) {
    ProgressManager.checkCanceled();
    final int currentNumber = currentInstruction.num();
    final E oldE = info.get(currentNumber);
    final E joinedE = join(currentInstruction, info);
    final E newE = myDfa.fun(joinedE, currentInstruction);
    if (!mySemilattice.eq(newE, oldE)) {
      if (LOG.isDebugEnabled()) {
        LOG.debug("Number: " + currentNumber + " old: " + oldE.toString() + " new: " + newE.toString());
      }
      info.set(currentNumber, newE);
      return true;
    }
    return false;
  }
private boolean applyTransferFunction(List<E> info, Instruction currentInstruction)