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