from X cons X from s X length nil 0 length cons X Y s length1 Y length1 X length X from 1 cons 2 s 1 length 1 nil 0 0 0 length1 1 FULL ./TRS/nontermin/CSR/Ex14_AEGL02.trs