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