void (@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); } }