plus_x#1
0
x8
x8
plus_x#1
S
x12
x14
S
plus_x#1
x12
x14
map#2
plus_x
x2
Nil
Nil
map#2
plus_x
x6
Cons
x4
x2
Cons
plus_x#1
x6
x4
map#2
plus_x
x6
x2
main
x5
x12
map#2
plus_x
x12
x5
plus_x#1
2
0
0
S
1
map#2
2
plus_x
1
Nil
0
Cons
2
main
2
INNERMOST
hoca/mappplus.trs