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