main ()
46 {
        [correct] 46 x#1 := new/1 45
        [correct] 45 x#1 := x#1.test() 44
        [] 44 result#0 := 237 43
} [] 43 result#0

sm (x#1, y#2, z#3)
42 {
        [] 42 result#0 := x#1 41
} [] 41 result#0

test/1()
38 {
        [correct] 38 b#1 := 1 37
        [correct] 37 c#2 := 0 - 1 36
        [correct] 36 d#3 := new/8 35
        [correct] 35 e#4 := 0 - 2 34
        [correct] 34 f#5 := new/3 33
        [correct] 33 g#6 := 0 - 56 32
        [correct] 32 h#7 := 0 31
        [correct] 31 y#8 := 0 30
        [correct] 30 z#9 := new/4 29
        [incorrect : [Variable a#11 is notinit]] 29 x#10 := a#11 + b#1 28
        [correct] 28 x#10 := c#2 - d#3 27
        [incorrect : []] 27 x#10 := e#4 * f#5 26
        [incorrect : []] 26 x#10 := g#6 / h#7 25
        [incorrect : [Left part is not a reference]] 25 y#8.1 := x#10 24
        [incorrect : [Variable a#11 is notinit, Reference type is too small]] 24 this.2 := a#11 23
        [incorrect : [Method not found]] 23 x#10 := y#8.m() 22
        [] 22 #13 := a#11 21
        [] 21 #14 := this 20
        [] 20 #15 := 0 19
        [] 19 x#10 := sm(#13,#14,#15) 18
        [] 18 x#10 := super.m() 17
        [] 17 if z#9 = e#4 then 16 else 15
        [] 16 result#0 := 0 1
        [] 15 if e#4 = y#8 then 13 else 14
        [] 13 if b#1 = f#5 then 12 else 11
        [] 12 result#0 := b#1 + f#5 1
        [] 11 if e#4 = d#3 then 9 else 10
        [] 9 if y#8 < b#1 then 8 else 7
        [] 8 result#0 := a#11 1
        [] 7 if c#2 < a#11 then 4 else 6
        [] 4 if 0 < a#11 then 3 else 2
        [] 3 skip 5
        [] 5 a#11 := a#11 - 1 4
        [] 2 result#0 := x#10 1
        [] 6 result#0 := c#2 1
        [] 10 result#0 := 0 - 15 1
        [] 14 result#0 := w#12 1
} [] 1 result#0

m/1()
40 {
        [] 40 result#0 := this 39
} [] 39 result#0