UFile (package = ) [public class ByteShort {...]
    UClass (name = ByteShort) [public class ByteShort {...}]
        UMethod (name = foo) [public static fun foo() : int {...}]
            UBlockExpression [{...}] = Nothing
                UDeclarationsExpression [var b1: byte = 100] = Undetermined
                    ULocalVariable (name = b1) [var b1: byte = 100]
                        ULiteralExpression (value = 100) [100] = 100
                UDeclarationsExpression [var s2: short = 2] = Undetermined
                    ULocalVariable (name = s2) [var s2: short = 2]
                        ULiteralExpression (value = 2) [2] = 2
                UDeclarationsExpression [var b11: byte = b1] = Undetermined
                    ULocalVariable (name = b11) [var b11: byte = b1]
                        USimpleNameReferenceExpression (identifier = b1) [b1] = (var b1 = (byte)100)
                UDeclarationsExpression [var s21: short = s2] = Undetermined
                    ULocalVariable (name = s21) [var s21: short = s2]
                        USimpleNameReferenceExpression (identifier = s2) [s2] = (var s2 = (short)2)
                UDeclarationsExpression [var i3: int = b11 + b1] = Undetermined
                    ULocalVariable (name = i3) [var i3: int = b11 + b1]
                        UBinaryExpression (operator = +) [b11 + b1] = 200 (depending on: (var b11 = (var b1 = (byte)100)), (var b1 = (byte)100))
                            USimpleNameReferenceExpression (identifier = b11) [b11] = (var b11 = (var b1 = (byte)100))
                            USimpleNameReferenceExpression (identifier = b1) [b1] = (var b1 = (byte)100)
                UDeclarationsExpression [var i4: int = s21 + s2] = Undetermined
                    ULocalVariable (name = i4) [var i4: int = s21 + s2]
                        UBinaryExpression (operator = +) [s21 + s2] = 4 (depending on: (var s21 = (var s2 = (short)2)), (var s2 = (short)2))
                            USimpleNameReferenceExpression (identifier = s21) [s21] = (var s21 = (var s2 = (short)2))
                            USimpleNameReferenceExpression (identifier = s2) [s2] = (var s2 = (short)2)
                UDeclarationsExpression [var i5: int = b11 + s21] = Undetermined
                    ULocalVariable (name = i5) [var i5: int = b11 + s21]
                        UBinaryExpression (operator = +) [b11 + s21] = 102 (depending on: (var b11 = (var b1 = (byte)100)), (var s21 = (var s2 = (short)2)))
                            USimpleNameReferenceExpression (identifier = b11) [b11] = (var b11 = (var b1 = (byte)100))
                            USimpleNameReferenceExpression (identifier = s21) [s21] = (var s21 = (var s2 = (short)2))
                UDeclarationsExpression [var b3: byte = i3 as byte] = Undetermined
                    ULocalVariable (name = b3) [var b3: byte = i3 as byte]
                        UBinaryExpressionWithType [i3 as byte] = (byte)-56
                            USimpleNameReferenceExpression (identifier = i3) [i3] = (var i3 = 200 (depending on: (var b11 = (var b1 = (byte)100)), (var b1 = (byte)100)))
                            UTypeReferenceExpression (name = byte) [byte] = Undetermined
                UDeclarationsExpression [var s4: short = i4 as short] = Undetermined
                    ULocalVariable (name = s4) [var s4: short = i4 as short]
                        UBinaryExpressionWithType [i4 as short] = (short)4
                            USimpleNameReferenceExpression (identifier = i4) [i4] = (var i4 = 4 (depending on: (var s21 = (var s2 = (short)2)), (var s2 = (short)2)))
                            UTypeReferenceExpression (name = short) [short] = Undetermined
                UReturnExpression [return i5 + b3 + s4] = Nothing
                    UPolyadicExpression (operator = +) [i5 + b3 + s4] = 50 (depending on: (var i5 = 102 (depending on: (var b11 = (var b1 = (byte)100)), (var s21 = (var s2 = (short)2)))), (var b3 = (byte)-56), (var s4 = (short)4))
                        USimpleNameReferenceExpression (identifier = i5) [i5] = (var i5 = 102 (depending on: (var b11 = (var b1 = (byte)100)), (var s21 = (var s2 = (short)2))))
                        USimpleNameReferenceExpression (identifier = b3) [b3] = (var b3 = (byte)-56)
                        USimpleNameReferenceExpression (identifier = s4) [s4] = (var s4 = (short)4)
