eq
0
0
true
eq
s
X
s
Y
eq
X
Y
eq
X
Y
false
inf
X
cons
X
inf
s
X
take
0
X
nil
take
s
X
cons
Y
L
cons
Y
take
X
L
length
nil
0
length
cons
X
L
s
length
L
eq
2
0
0
true
0
s
1
false
0
inf
1
cons
2
take
2
nil
0
length
1
INNERMOST
./TRS/nontermin/CSR/Ex1_GL02a.trs