MAYBE
MAYBE
TRS:
 {
                nats() -> cons(0(), n__incr(nats())),
                odds() -> incr(pairs()),
               pairs() -> cons(0(), n__incr(odds())),
               incr(X) -> n__incr(X),
     incr(cons(X, XS)) -> cons(s(X), n__incr(activate(XS))),
           activate(X) -> X,
  activate(n__incr(X)) -> incr(X),
     head(cons(X, XS)) -> X,
     tail(cons(X, XS)) -> activate(XS)
 }
 DUP: We consider a non-duplicating system.
  Trs:
   {
                  nats() -> cons(0(), n__incr(nats())),
                  odds() -> incr(pairs()),
                 pairs() -> cons(0(), n__incr(odds())),
                 incr(X) -> n__incr(X),
       incr(cons(X, XS)) -> cons(s(X), n__incr(activate(XS))),
             activate(X) -> X,
    activate(n__incr(X)) -> incr(X),
       head(cons(X, XS)) -> X,
       tail(cons(X, XS)) -> activate(XS)
   }
  Fail