MAYBE
MAYBE
TRS:
 {
    from(X) -> cons(X),
   length() -> 0(),
   length() -> s(length1()),
  length1() -> length()
 }
 DUP: We consider a non-duplicating system.
  Trs:
   {
      from(X) -> cons(X),
     length() -> 0(),
     length() -> s(length1()),
    length1() -> length()
   }
  Fail