UFile (package = ) [public class WhileWithContinue {...]
    UClass (name = WhileWithContinue) [public class WhileWithContinue {...}]
        UMethod (name = bar) [public static fun bar() : boolean {...}]
            UBlockExpression [{...}] = Nothing
                UReturnExpression [return true] = Nothing
                    ULiteralExpression (value = true) [true] = true
        UMethod (name = foo) [public static fun foo() : int {...}]
            UBlockExpression [{...}] = Nothing
                UDeclarationsExpression [var first: int = 1] = Undetermined
                    ULocalVariable (name = first) [var first: int = 1]
                        ULiteralExpression (value = 1) [1] = 1
                UDeclarationsExpression [var second: int = 2] = Undetermined
                    ULocalVariable (name = second) [var second: int = 2]
                        ULiteralExpression (value = 2) [2] = 2
                UWhileExpression [while (bar()) {...}] = Undetermined
                    UCallExpression (kind = UastCallKind(name='method_call'), argCount = 0)) [bar()] = external bar()()
                        UIdentifier (Identifier (bar)) [UIdentifier (Identifier (bar))]
                    UBlockExpression [{...}] = Nothing(continue)
                        UBinaryExpression (operator = =) [second = 3] = 3
                            USimpleNameReferenceExpression (identifier = second) [second] = (var second = Phi(3, 2))
                            ULiteralExpression (value = 3) [3] = 3
                        UIfExpression [if (first > 0) continue] = Nothing(continue)
                            UBinaryExpression (operator = >) [first > 0] = true (depending on: (var first = 1))
                                USimpleNameReferenceExpression (identifier = first) [first] = (var first = 1)
                                ULiteralExpression (value = 0) [0] = 0
                            UContinueExpression (label = null) [continue] = Nothing(continue)
                            UastEmptyExpression [UastEmptyExpression] = Undetermined
                        UBinaryExpression (operator = =) [second = 4] = 4
                            USimpleNameReferenceExpression (identifier = second) [second] = Undetermined
                            ULiteralExpression (value = 4) [4] = 4
                UReturnExpression [return second] = Nothing
                    USimpleNameReferenceExpression (identifier = second) [second] = (var second = Phi(3, 2))
        UMethod (name = baz) [public static fun baz() : int {...}]
            UBlockExpression [{...}] = Nothing
                UDeclarationsExpression [var first: int = 2] = Undetermined
                    ULocalVariable (name = first) [var first: int = 2]
                        ULiteralExpression (value = 2) [2] = 2
                UDeclarationsExpression [var second: int = 2] = Undetermined
                    ULocalVariable (name = second) [var second: int = 2]
                        ULiteralExpression (value = 2) [2] = 2
                UWhileExpression [while (bar()) {...}] = Undetermined
                    UCallExpression (kind = UastCallKind(name='method_call'), argCount = 0)) [bar()] = external bar()()
                        UIdentifier (Identifier (bar)) [UIdentifier (Identifier (bar))]
                    UBlockExpression [{...}] = 4
                        UBinaryExpression (operator = =) [second = 3] = 3
                            USimpleNameReferenceExpression (identifier = second) [second] = (var second = Phi(4, 3, 2))
                            ULiteralExpression (value = 3) [3] = 3
                        UPostfixExpression (operator = --) [first--] = (var first = Undetermined)
                            USimpleNameReferenceExpression (identifier = first) [first] = (var first = Undetermined)
                        UIfExpression [if (first > 0) continue] = Undetermined
                            UBinaryExpression (operator = >) [first > 0] = Undetermined (depending on: (var first = Undetermined))
                                USimpleNameReferenceExpression (identifier = first) [first] = (var first = Undetermined)
                                ULiteralExpression (value = 0) [0] = 0
                            UContinueExpression (label = null) [continue] = Nothing(continue)
                            UastEmptyExpression [UastEmptyExpression] = Undetermined
                        UBinaryExpression (operator = =) [second = 4] = 4
                            USimpleNameReferenceExpression (identifier = second) [second] = (var second = 3)
                            ULiteralExpression (value = 4) [4] = 4
                UReturnExpression [return second] = Nothing
                    USimpleNameReferenceExpression (identifier = second) [second] = (var second = Phi(4, 3, 2))
