zeros
cons
0
zeros
U11
tt
L
s
length
L
and
tt
X
X
isNat
0
tt
isNat
length
V1
isNatList
V1
isNat
s
V1
isNat
V1
isNatIList
V
isNatList
V
isNatIList
zeros
tt
isNatIList
cons
V1
V2
and
isNat
V1
isNatIList
V2
isNatList
nil
tt
isNatList
cons
V1
V2
and
isNat
V1
isNatList
V2
length
nil
0
length
cons
N
L
U11
and
isNatList
L
isNat
N
L
zeros
0
cons
2
1
0
0
U11
2
1
tt
0
s
1
1
length
1
1
and
2
1
isNat
1
isNatList
1
isNatIList
1
nil
0
FULL
./TRS/CSR_Maude/length-lazy-list/LengthOfFiniteLists_nokinds.trs