public void removeCaseStatement(@NotNull Statement statement) {
    stats.removeWithKey(statement.id);
    int caseIndex = caseStatements.indexOf(statement);
    if (caseIndex < 0) {
      return;
    }
    caseStatements.remove(caseIndex);
    caseEdges.remove(caseIndex);
    caseValues.remove(caseIndex);
    for (StatEdge edge : statement.getAllSuccessorEdges()) {
      edge.getDestination().removePredecessor(edge);
    }
    for (StatEdge edge : statement.getAllPredecessorEdges()) {
      edge.getSource().removeSuccessor(edge);
    }
  }
public void removeCaseStatement(@NotNull Statement statement)