void (@NotNull SwitchStatement switchStatement, @NotNull DoStatement upperDoStatement) { @NotNull List<Statement> statements = switchStatement.getCaseStatements(); for (int i = 0; i < statements.size(); i++) { Statement caseStatement = statements.get(i); List<StatEdge> edges = caseStatement.getSuccessorEdges(EdgeType.DIRECT_ALL); if (edges.isEmpty() && !caseStatement.getStats().isEmpty()) { edges = caseStatement.getStats().get(caseStatement.getStats().size() - 1).getSuccessorEdges(EdgeType.DIRECT_ALL); } if (edges.size() == 1 && edges.get(0).getType() == EdgeType.BREAK && (upperDoStatement.equals(edges.get(0).closure) || switchStatement.equals(edges.get(0).closure))) { edges.get(0).labeled = false; } } }