nthtail
n
l
cond
ge
n
length
l
n
l
cond
true
n
l
l
cond
false
n
l
tail
nthtail
s
n
l
tail
nil
nil
tail
cons
x
l
l
length
nil
0
length
cons
x
l
s
length
l
ge
u
0
true
ge
0
s
v
false
ge
s
u
s
v
ge
u
v
nthtail
2
cond
3
ge
2
length
1
true
0
false
0
tail
1
s
1
nil
0
cons
2
0
0
INNERMOST
./TRS/SchneiderKamp/trs/cade16.trs