ite
tt
x
y
x
ite
ff
x
y
y
lt
0
s
y
tt
lt
x
0
ff
lt
s
x
s
y
lt
x
y
insert
a
nil
cons
a
nil
insert
a
cons
b
l
ite
lt
a
b
cons
a
cons
b
l
cons
b
insert
a
l
sort
nil
nil
sort
cons
a
l
insert
a
sort
l
ite
3
tt
0
ff
0
lt
2
0
0
s
1
insert
2
nil
0
cons
2
sort
1
FULL
./TCT_09/insertsort.trs