public void addSuccessorException(BasicBlock block) {
    if (!successorExceptions.contains(block)) {
      successorExceptions.add(block);
      block.addPredecessorException(this);
    }
  }
public void addSuccessorException(BasicBlock block)