UFile (package = ) [import java.util...]
    UImportStatement (isOnDemand = true) [import java.util]
    UClass (name = For) [public class For {...}]
        UMethod (name = getList) [public static fun getList(size: int) : java.util.List<java.lang.Integer> {...}]
            UParameter (name = size) [var size: int]
            UBlockExpression [{...}] = Nothing
                UDeclarationsExpression [var result: java.util.List<java.lang.Integer> = LinkedList()] = Undetermined
                    ULocalVariable (name = result) [var result: java.util.List<java.lang.Integer> = LinkedList()]
                        UCallExpression (kind = UastCallKind(name='constructor_call'), argCount = 0)) [LinkedList()] = external LinkedList()()
                            USimpleNameReferenceExpression (identifier = LinkedList) [LinkedList] = external LinkedList()
                UDeclarationsExpression [var a: int = 0] = Undetermined
                    ULocalVariable (name = a) [var a: int = 0]
                        ULiteralExpression (value = 0) [0] = 0
                UForExpression [for (var i: int = a++; i < size; i++) {...}] = Undetermined
                    UDeclarationsExpression [var i: int = a++] = Undetermined
                        ULocalVariable (name = i) [var i: int = a++]
                            UPostfixExpression (operator = ++) [a++] = (var a = 0)
                                USimpleNameReferenceExpression (identifier = a) [a] = (var a = 0)
                    UBinaryExpression (operator = <) [i < size] = Undetermined (depending on: (var i = Undetermined))
                        USimpleNameReferenceExpression (identifier = i) [i] = (var i = Undetermined)
                        USimpleNameReferenceExpression (identifier = size) [size] = Undetermined
                    UPostfixExpression (operator = ++) [i++] = (var i = Undetermined)
                        USimpleNameReferenceExpression (identifier = i) [i] = (var i = Undetermined)
                    UBlockExpression [{...}] = external add(i)((var i = Undetermined))
                        UQualifiedReferenceExpression [result.add(i)] = external add(i)((var i = Undetermined))
                            USimpleNameReferenceExpression (identifier = result) [result] = (var result = external LinkedList()())
                            UCallExpression (kind = UastCallKind(name='method_call'), argCount = 1)) [add(i)] = external add(i)((var i = Undetermined))
                                UIdentifier (Identifier (add)) [UIdentifier (Identifier (add))]
                                USimpleNameReferenceExpression (identifier = i) [i] = (var i = Undetermined)
                UQualifiedReferenceExpression [result.add(a)] = external add(a)((var a = 1))
                    USimpleNameReferenceExpression (identifier = result) [result] = (var result = external LinkedList()())
                    UCallExpression (kind = UastCallKind(name='method_call'), argCount = 1)) [add(a)] = external add(a)((var a = 1))
                        UIdentifier (Identifier (add)) [UIdentifier (Identifier (add))]
                        USimpleNameReferenceExpression (identifier = a) [a] = (var a = 1)
                UReturnExpression [return result] = Nothing
                    USimpleNameReferenceExpression (identifier = result) [result] = (var result = external LinkedList()())
        UMethod (name = sum) [public static fun sum(numbers: java.util.List<java.lang.Integer>) : int {...}]
            UParameter (name = numbers) [var numbers: java.util.List<java.lang.Integer>]
            UBlockExpression [{...}] = Nothing
                UDeclarationsExpression [var result: int = 0] = Undetermined
                    ULocalVariable (name = result) [var result: int = 0]
                        ULiteralExpression (value = 0) [0] = 0
                UDeclarationsExpression [var size: int = 3] = Undetermined
                    ULocalVariable (name = size) [var size: int = 3]
                        ULiteralExpression (value = 3) [3] = 3
                UForEachExpression [for (number : getList(++size)) {...}] = Undetermined
                    UCallExpression (kind = UastCallKind(name='method_call'), argCount = 1)) [getList(++size)] = external getList(++size)(4 (depending on: (var size = 3)))
                        UIdentifier (Identifier (getList)) [UIdentifier (Identifier (getList))]
                        UPrefixExpression (operator = ++) [++size] = 4 (depending on: (var size = 3))
                            USimpleNameReferenceExpression (identifier = size) [size] = (var size = 3)
                    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 + size] = Nothing
                    UBinaryExpression (operator = +) [result + size] = Undetermined (depending on: (var result = Undetermined), (var size = 4))
                        USimpleNameReferenceExpression (identifier = result) [result] = (var result = Undetermined)
                        USimpleNameReferenceExpression (identifier = size) [size] = (var size = 4)
