public void removeSuccessorException(BasicBlock block) {
    while (successorExceptions.remove(block)) /**/;
    block.removePredecessorException(this);
  }
public void removeSuccessorException(BasicBlock block)