static @NotNull InitMode create(@NotNull PsiExpressionStatement statement, @NotNull PsiIfStatement topStatement) {
      PsiStatement current = statement;
      InitMode curMode = ExactMode.INITIALIZED;
      while (current != topStatement) {
        curMode = fromInitializer(current, curMode);
        if (curMode instanceof Branched branched) {
          current = branched.ifStatement();
        }
        else {
          return ExactMode.BOTTOM;
        }
      }
      return curMode;
    }
static @NotNull InitMode create(@NotNull PsiExpressionStatement statement, @NotNull PsiIfStatement topStatement)