UFile (package = ) [public class WhileWithIncrement {...]
    UClass (name = WhileWithIncrement) [public class WhileWithIncrement {...}]
        UMethod (name = foo) [public static fun foo() : int {...}]
            UBlockExpression [{...}] = Nothing
                UDeclarationsExpression [var i: int = 0] = Undetermined
                    ULocalVariable (name = i) [var i: int = 0]
                        ULiteralExpression (value = 0) [0] = 0
                UWhileExpression [while (true) {...}] = Undetermined
                    ULiteralExpression (value = true) [true] = true
                    UBlockExpression [{...}] = Undetermined
                        UPostfixExpression (operator = ++) [i++] = (var i = Undetermined)
                            USimpleNameReferenceExpression (identifier = i) [i] = (var i = Undetermined)
                        UIfExpression [if (i % 42 === 0) break] = Undetermined
                            UBinaryExpression (operator = ===) [i % 42 === 0] = Undetermined (depending on: (var i = Undetermined))
                                UBinaryExpression (operator = %) [i % 42] = Undetermined (depending on: (var i = Undetermined))
                                    USimpleNameReferenceExpression (identifier = i) [i] = (var i = Undetermined)
                                    ULiteralExpression (value = 42) [42] = 42
                                ULiteralExpression (value = 0) [0] = 0
                            UBreakExpression (label = null) [break] = Nothing(break)
                            UastEmptyExpression [UastEmptyExpression] = Undetermined
                UReturnExpression [return i] = Nothing
                    USimpleNameReferenceExpression (identifier = i) [i] = (var i = Undetermined)
