2 d.Num.t24 = dfun.Num.Integer
3 d.Num.t26 = dfun.Num.Integer
4 fromInt.t23 = fromInt tt2 d.Num.t24
5 lit.t3 = fromInt.t23 (MkInt 2#)
6 fromInt.t25 = fromInt tt15 d.Num.t26
7 lit.t10 = fromInt.t25 (MkInt 1#)
8 fromInt.t27 = fromInt.t25
9 lit.t16 = fromInt.t27 (MkInt 0#)
11 (+.t21) = (+) tt2 d.Num.t28
12 AbsBinds [] [] [(j.t1, ShouldSucceed.j)]
16 AbsBinds [] [] [(k.t6, ShouldSucceed.k), (l.t7, ShouldSucceed.l)]
19 k.t6 = ((:) tt15) lit.t10 (((:) tt15) ShouldSucceed.j l.t7)
21 l.t7 = ((:) tt15) lit.t16 k.t6
22 AbsBinds [] [] [(m.t19, ShouldSucceed.m)]
25 m.t19 = ShouldSucceed.j +.t21 ShouldSucceed.j