fold#3
insert_ord
x2
Nil
Nil
fold#3
insert_ord
x6
Cons
x4
x2
insert_ord#2
x6
x4
fold#3
insert_ord
x6
x2
cond_insert_ord_x_ys_1
True
x3
x2
x1
Cons
x3
Cons
x2
x1
cond_insert_ord_x_ys_1
False
x0
x5
x2
Cons
x5
insert_ord#2
leq
x0
x2
insert_ord#2
leq
x2
Nil
Cons
x2
Nil
insert_ord#2
leq
x6
Cons
x4
x2
cond_insert_ord_x_ys_1
leq#2
x6
x4
x6
x4
x2
leq#2
0
x8
True
leq#2
S
x12
0
False
leq#2
S
x4
S
x2
leq#2
x4
x2
main
x3
fold#3
insert_ord
leq
x3
fold#3
2
insert_ord
1
Nil
0
Cons
2
insert_ord#2
3
cond_insert_ord_x_ys_1
4
True
0
False
0
leq
0
leq#2
2
0
0
S
1
main
1
INNERMOST
hoca/isort-fold.trs