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