UFile (package = ) [public class DoWhileInfinite {...]
    UClass (name = DoWhileInfinite) [public class DoWhileInfinite {...}]
        UMethod (name = foo) [public static fun foo() : int {...}]
            UBlockExpression [{...}] = Nothing
                UDeclarationsExpression [var count: int = 0] = Undetermined
                    ULocalVariable (name = count) [var count: int = 0]
                        ULiteralExpression (value = 0) [0] = 0
                UDeclarationsExpression [var number: int = 42] = Undetermined
                    ULocalVariable (name = number) [var number: int = 42]
                        ULiteralExpression (value = 42) [42] = 42
                UDoWhileExpression [do {...] = Undetermined
                    UBinaryExpression (operator = >) [number > 0] = true (depending on: (var number = 42))
                        USimpleNameReferenceExpression (identifier = number) [number] = (var number = 42)
                        ULiteralExpression (value = 0) [0] = 0
                    UBlockExpression [{...}] = Undetermined
                        UIfExpression [if (number % 10 === 7) {...}] = Undetermined
                            UBinaryExpression (operator = ===) [number % 10 === 7] = false (depending on: (var number = 42))
                                UBinaryExpression (operator = %) [number % 10] = 2 (depending on: (var number = 42))
                                    USimpleNameReferenceExpression (identifier = number) [number] = (var number = 42)
                                    ULiteralExpression (value = 10) [10] = 10
                                ULiteralExpression (value = 7) [7] = 7
                            UBlockExpression [{...}] = (var count = 0)
                                UPostfixExpression (operator = ++) [count++] = (var count = 0)
                                    USimpleNameReferenceExpression (identifier = count) [count] = (var count = 0)
                            UastEmptyExpression [UastEmptyExpression] = Undetermined
                UReturnExpression [return count] = Nothing
                    USimpleNameReferenceExpression (identifier = count) [count] = (var count = 0)
