void (Statement stat) { for (Statement st : stat.getStats()) { removeNonImmediateEdges(st); } if (!stat.hasBasicSuccEdge()) { for (StatEdge edge : stat.getSuccessorEdges(EdgeType.CONTINUE.unite(EdgeType.BREAK))) { stat.removeSuccessor(edge); } } }