UFile (package = ) [public final enum EnumSwitchConditionalBreak {...]
    UClass (name = EnumSwitchConditionalBreak) [public final enum EnumSwitchConditionalBreak {...}]
        UEnumConstant (name = FIRST) [FIRST] = NON-EVALUATED
            USimpleNameReferenceExpression (identifier = EnumSwitchConditionalBreak) [EnumSwitchConditionalBreak] = external EnumSwitchConditionalBreak()
        UEnumConstant (name = SECOND) [SECOND] = NON-EVALUATED
            USimpleNameReferenceExpression (identifier = EnumSwitchConditionalBreak) [EnumSwitchConditionalBreak] = external EnumSwitchConditionalBreak()
        UEnumConstant (name = THIRD) [THIRD] = NON-EVALUATED
            USimpleNameReferenceExpression (identifier = EnumSwitchConditionalBreak) [EnumSwitchConditionalBreak] = external EnumSwitchConditionalBreak()
        UMethod (name = foo) [public static fun foo(key: EnumSwitchConditionalBreak, result: int) : int {...}]
            UParameter (name = key) [var key: EnumSwitchConditionalBreak]
            UParameter (name = result) [var result: int]
            UBlockExpression [{...}] = Nothing
                UDeclarationsExpression [var newResult: int] = Undetermined
                    ULocalVariable (name = newResult) [var newResult: int]
                UDeclarationsExpression [var counter: int = 0] = Undetermined
                    ULocalVariable (name = counter) [var counter: int = 0]
                        ULiteralExpression (value = 0) [0] = 0
                USwitchExpression [switch (key) ...] = Undetermined
                    USimpleNameReferenceExpression (identifier = key) [key] = Undetermined
                    UExpressionList (switch) [    FIRST -> {...    ] = Undetermined
                        USwitchClauseExpressionWithBody [FIRST -> {...] = Undetermined
                            USimpleNameReferenceExpression (identifier = FIRST) [FIRST] = FIRST (enum entry)
                            UExpressionList (switch_entry) [{...] = Undetermined
                                UIfExpression [if (result > 0) {...}] = Undetermined
                                    UBinaryExpression (operator = >) [result > 0] = Undetermined
                                        USimpleNameReferenceExpression (identifier = result) [result] = Undetermined
                                        ULiteralExpression (value = 0) [0] = 0
                                    UBlockExpression [{...}] = Nothing(break)
                                        UBinaryExpression (operator = =) [newResult = 42] = 42
                                            USimpleNameReferenceExpression (identifier = newResult) [newResult] = (var newResult = Undetermined)
                                            ULiteralExpression (value = 42) [42] = 42
                                        UPostfixExpression (operator = ++) [counter++] = (var counter = 0)
                                            USimpleNameReferenceExpression (identifier = counter) [counter] = (var counter = 0)
                                        UBreakExpression (label = null) [break] = Nothing(break)
                                    UastEmptyExpression [UastEmptyExpression] = Undetermined
                                UPostfixExpression (operator = ++) [counter++] = (var counter = 0)
                                    USimpleNameReferenceExpression (identifier = counter) [counter] = (var counter = 0)
                        USwitchClauseExpressionWithBody [else -> {...] = Undetermined
                            UDefaultCaseExpression [else] = Undetermined
                            UExpressionList (switch_entry) [{...] = Undetermined
                                UBinaryExpression (operator = =) [newResult = 42] = 42
                                    USimpleNameReferenceExpression (identifier = newResult) [newResult] = (var newResult = Undetermined)
                                    ULiteralExpression (value = 42) [42] = 42
                                UPostfixExpression (operator = ++) [counter++] = (var counter = Phi(1, 0))
                                    USimpleNameReferenceExpression (identifier = counter) [counter] = (var counter = Phi(1, 0))
                                UBreakExpression (label = null) [break] = Nothing(break)
                UReturnExpression [return newResult + counter] = Nothing
                    UBinaryExpression (operator = +) [newResult + counter] = Undetermined (depending on: (var newResult = 42), (var counter = Undetermined))
                        USimpleNameReferenceExpression (identifier = newResult) [newResult] = (var newResult = 42)
                        USimpleNameReferenceExpression (identifier = counter) [counter] = (var counter = Undetermined)
