ge
x
0
true
ge
0
s
y
false
ge
s
x
s
y
ge
x
y
rev
x
if
x
eq
0
length
x
nil
0
length
x
if
x
true
z
c
l
z
if
x
false
z
c
l
help
s
c
l
x
z
help
c
l
cons
x
y
z
if
append
y
cons
x
nil
ge
c
l
cons
x
z
c
l
append
nil
y
y
append
cons
x
y
z
cons
x
append
y
z
length
nil
0
length
cons
x
y
s
length
y
ge
2
0
0
true
0
s
1
false
0
rev
1
if
5
eq
2
length
1
nil
0
help
4
cons
2
append
2
INNERMOST
./TRS/SchneiderKamp/trs/otto10.trs