MAYBE
MAYBE
TRS:
 {
   adx(cons(X, Y)) -> incr(cons(X, adx(Y))),
           zeros() -> cons(0(), zeros()),
            nats() -> adx(zeros()),
  incr(cons(X, Y)) -> cons(s(X), incr(Y)),
    hd(cons(X, Y)) -> X,
    tl(cons(X, Y)) -> Y
 }
 DUP: We consider a non-duplicating system.
  Trs:
   {
     adx(cons(X, Y)) -> incr(cons(X, adx(Y))),
             zeros() -> cons(0(), zeros()),
              nats() -> adx(zeros()),
    incr(cons(X, Y)) -> cons(s(X), incr(Y)),
      hd(cons(X, Y)) -> X,
      tl(cons(X, Y)) -> Y
   }
  Fail