private static boolean mayFallThroughNonTerminalDefaultCase(PsiCodeBlock body) {
    List<PsiSwitchLabelStatementBase> labels = PsiTreeUtil.getChildrenOfTypeAsList(body, PsiSwitchLabelStatementBase.class);
    return StreamEx.of(labels).pairMap((prev, next) -> {
      if (SwitchUtils.isDefaultLabel(prev)) {
        Set<PsiSwitchLabelStatementBase> targets = getFallThroughTargets(body);
        return targets.contains(prev) || targets.contains(next);
      }
      return false;
    }).has(true);
  }
private static boolean mayFallThroughNonTerminalDefaultCase(PsiCodeBlock body)