UFile (package = ) [public class DoWhileWithReturn {...]
    UClass (name = DoWhileWithReturn) [public class DoWhileWithReturn {...}]
        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 = 1] = Undetermined
                    ULocalVariable (name = number) [var number: int = 1]
                        ULiteralExpression (value = 1) [1] = 1
                UDoWhileExpression [do {...] = Nothing
                    UBinaryExpression (operator = >=) [number >= 0] = true (depending on: (var number = 1))
                        USimpleNameReferenceExpression (identifier = number) [number] = (var number = 1)
                        ULiteralExpression (value = 0) [0] = 0
                    UBlockExpression [{...}] = Nothing
                        UIfExpression [if (number > 0) return count] = Nothing
                            UBinaryExpression (operator = >) [number > 0] = true (depending on: (var number = 1))
                                USimpleNameReferenceExpression (identifier = number) [number] = (var number = 1)
                                ULiteralExpression (value = 0) [0] = 0
                            UReturnExpression [return count] = Nothing
                                USimpleNameReferenceExpression (identifier = count) [count] = (var count = 0)
                            UastEmptyExpression [UastEmptyExpression] = Undetermined
                        UPostfixExpression (operator = ++) [count++] = Undetermined
                            USimpleNameReferenceExpression (identifier = count) [count] = Undetermined
                        UPostfixExpression (operator = --) [number--] = Undetermined
                            USimpleNameReferenceExpression (identifier = number) [number] = Undetermined
                UReturnExpression [return count] = Nothing
                    USimpleNameReferenceExpression (identifier = count) [count] = Undetermined
