InitMode (@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; }