UFile (package = ) [public class For {...]
    UClass (name = For) [public class For {...}]
        UMethod (name = sum) [public static fun sum(numbers: List<Integer>) : int {...}]
            UParameter (name = numbers) [var numbers: List<Integer>]
            UBlockExpression [{...}] = Nothing
                UDeclarationsExpression [var result: int = 0] = Undetermined
                    ULocalVariable (name = result) [var result: int = 0]
                        ULiteralExpression (value = 0) [0] = 0
                UForEachExpression [for (number : numbers) {...}] = Undetermined
                    USimpleNameReferenceExpression (identifier = numbers) [numbers] = Undetermined
                    UBlockExpression [{...}] = Undetermined (depending on: (var result = Undetermined))
                        UBinaryExpression (operator = =) [result = result + number] = Undetermined (depending on: (var result = Undetermined))
                            USimpleNameReferenceExpression (identifier = result) [result] = (var result = Undetermined)
                            UBinaryExpression (operator = +) [result + number] = Undetermined (depending on: (var result = Undetermined))
                                USimpleNameReferenceExpression (identifier = result) [result] = (var result = Undetermined)
                                USimpleNameReferenceExpression (identifier = number) [number] = Undetermined
                UReturnExpression [return result] = Nothing
                    USimpleNameReferenceExpression (identifier = result) [result] = (var result = Undetermined)
