MAYBE
MAYBE
TRS:
 {
              zeros() -> cons(0()),
            U12(tt()) -> s(length(L)),
            U11(tt()) -> U12(tt()),
      length(cons(N)) -> U11(tt()),
        length(nil()) -> 0(),
            U22(tt()) -> U23(tt()),
            U21(tt()) -> U22(tt()),
            U23(tt()) -> cons(N),
        take(0(), IL) -> nil(),
  take(s(M), cons(N)) -> U21(tt())
 }
 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(),
              U22(tt()) -> U23(tt()),
              U21(tt()) -> U22(tt()),
              U23(tt()) -> cons(N),
          take(0(), IL) -> nil(),
    take(s(M), cons(N)) -> U21(tt())
   }
  Fail