rev_l#2
x8
x10
Cons
x10
x8
step_x_f#1
rev_l
x5
step_x_f
x2
x3
x4
x1
step_x_f#1
x2
x3
x4
rev_l#2
x1
x5
step_x_f#1
rev_l
x5
fleft_op_e_xs_1
x3
rev_l#2
x3
x5
foldr#3
Nil
fleft_op_e_xs_1
foldr#3
Cons
x16
x6
step_x_f
rev_l
x16
foldr#3
x6
main
Nil
Nil
main
Cons
x8
x9
step_x_f#1
rev_l
x8
foldr#3
x9
Nil
rev_l#2
2
Cons
2
step_x_f#1
4
rev_l
0
step_x_f
3
fleft_op_e_xs_1
0
foldr#3
1
Nil
0
main
1
INNERMOST
hoca/rev-fletf.trs