UFile (package = ) [public class DeadFor {...]
    UClass (name = DeadFor) [public class DeadFor {...}]
        UMethod (name = foo) [public static fun foo() : int {...}]
            UBlockExpression [{...}] = Nothing
                UDeclarationsExpression [var result: int = 0] = Undetermined
                    ULocalVariable (name = result) [var result: int = 0]
                        ULiteralExpression (value = 0) [0] = 0
                UForExpression [for (var i: int = 9; i < 5; i++) {...}] = Undetermined
                    UDeclarationsExpression [var i: int = 9] = Undetermined
                        ULocalVariable (name = i) [var i: int = 9]
                            ULiteralExpression (value = 9) [9] = 9
                    UBinaryExpression (operator = <) [i < 5] = false (depending on: (var i = 9))
                        USimpleNameReferenceExpression (identifier = i) [i] = (var i = 9)
                        ULiteralExpression (value = 5) [5] = 5
                    UPostfixExpression (operator = ++) [i++] = Undetermined
                        USimpleNameReferenceExpression (identifier = i) [i] = Undetermined
                    UBlockExpression [{...}] = Undetermined
                        UBinaryExpression (operator = =) [result = result + i] = Undetermined
                            USimpleNameReferenceExpression (identifier = result) [result] = Undetermined
                            UBinaryExpression (operator = +) [result + i] = Undetermined
                                USimpleNameReferenceExpression (identifier = result) [result] = Undetermined
                                USimpleNameReferenceExpression (identifier = i) [i] = Undetermined
                UReturnExpression [return result] = Nothing
                    USimpleNameReferenceExpression (identifier = result) [result] = (var result = 0)
