UFile (package = ) [public final class InKt {...]
    UClass (name = InKt) [public final class InKt {...}]
        UAnnotationMethod (name = foo) [public static final fun foo() : boolean {...}]
            UBlockExpression [{...}] = Nothing
                UDeclarationsExpression [var x: int = 1] = Undetermined
                    ULocalVariable (name = x) [var x: int = 1]
                        ULiteralExpression (value = 1) [1] = 1
                UDeclarationsExpression [var y: int = 10] = Undetermined
                    ULocalVariable (name = y) [var y: int = 10]
                        ULiteralExpression (value = 10) [10] = 10
                UReturnExpression [return x in 0 .. 5 && y !in 4 .. 9] = Nothing
                    UBinaryExpression (operator = &&) [x in 0 .. 5 && y !in 4 .. 9] = true (depending on: (var x = 1), (var y = 10))
                        UBinaryExpression (operator = in) [x in 0 .. 5] = true (depending on: (var x = 1))
                            USimpleNameReferenceExpression (identifier = x) [x] = (var x = 1)
                            UBinaryExpression (operator = ..) [0 .. 5] = 0..5
                                ULiteralExpression (value = 0) [0] = 0
                                ULiteralExpression (value = 5) [5] = 5
                        UBinaryExpression (operator = !in) [y !in 4 .. 9] = true (depending on: (var y = 10))
                            USimpleNameReferenceExpression (identifier = y) [y] = (var y = 10)
                            UBinaryExpression (operator = ..) [4 .. 9] = 4..9
                                ULiteralExpression (value = 4) [4] = 4
                                ULiteralExpression (value = 9) [9] = 9