void (@NotNull SwitchStatement statement) { for (Statement caseStatement : statement.getCaseStatements()) { List<StatEdge> successorEdges = caseStatement.getSuccessorEdges(EdgeType.DIRECT_ALL); if (successorEdges.size() != 1) { continue; } StatEdge edge = successorEdges.get(0); if (edge.getType() == EdgeType.BREAK && edge.explicit && !edge.labeled) { edge.explicit = false; } } }