TRS:
 {              nats() -> cons(0(), n__incr(n__nats())),
               pairs() -> cons(0(), n__incr(n__odds())),
                odds() -> incr(pairs()),
     incr(cons(X, XS)) -> cons(s(X), n__incr(activate(XS))),
     head(cons(X, XS)) -> X,
     tail(cons(X, XS)) -> activate(XS),
               incr(X) -> n__incr(X),
                nats() -> n__nats(),
                odds() -> n__odds(),
  activate(n__incr(X)) -> incr(activate(X)),
   activate(n__nats()) -> nats(),
   activate(n__odds()) -> odds(),
           activate(X) -> X}
 Fail