walk#1
Nil
walk_xs
walk#1
Cons
x4
x3
comp_f_g
walk#1
x3
walk_xs_3
x4
comp_f_g#1
comp_f_g
x7
x9
walk_xs_3
x8
x12
comp_f_g#1
x7
x9
Cons
x8
x12
comp_f_g#1
walk_xs
walk_xs_3
x8
x12
Cons
x8
x12
main
Nil
Nil
main
Cons
x4
x5
comp_f_g#1
walk#1
x5
walk_xs_3
x4
Nil
walk#1
1
Nil
0
walk_xs
0
Cons
2
comp_f_g
2
walk_xs_3
1
comp_f_g#1
3
main
1
INNERMOST
hoca/rev-dl.trs