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