MAYBE
MAYBE
TRS:
 {
          zeros() -> cons(0()),
        U12(tt()) -> s(length(L)),
        U11(tt()) -> U12(tt()),
  length(cons(N)) -> U11(tt()),
    length(nil()) -> 0()
 }
 DUP: We consider a duplicating system.
  Trs:
   {
            zeros() -> cons(0()),
          U12(tt()) -> s(length(L)),
          U11(tt()) -> U12(tt()),
    length(cons(N)) -> U11(tt()),
      length(nil()) -> 0()
   }
  Fail