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