zeros cons 0 zeros and tt X X length nil 0 length cons N L s length L zeros 0 cons 2 1 0 0 and 2 1 tt 0 length 1 1 nil 0 s 1 1 FULL ./TRS/CSR_Maude/length-lazy-list/LengthOfFiniteLists_nosorts.trs