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