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