MAYBE
Time: 0.002859
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}
 DP:
  DP:
   {            nats#() -> nats#(),
                odds#() -> pairs#(),
                odds#() -> incr# pairs(),
               pairs#() -> odds#(),
      incr# cons(X, XS) -> activate# XS,
    activate# n__incr X -> incr# X,
      tail# cons(X, XS) -> activate# XS}
  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}
  UR:
   {            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}
   EDG:
    {(tail# cons(X, XS) -> activate# XS, activate# n__incr X -> incr# X)
     (odds#() -> pairs#(), pairs#() -> odds#())
     (activate# n__incr X -> incr# X, incr# cons(X, XS) -> activate# XS)
     (odds#() -> incr# pairs(), incr# cons(X, XS) -> activate# XS)
     (pairs#() -> odds#(), odds#() -> pairs#())
     (pairs#() -> odds#(), odds#() -> incr# pairs())
     (nats#() -> nats#(), nats#() -> nats#())
     (incr# cons(X, XS) -> activate# XS, activate# n__incr X -> incr# X)}
    STATUS:
     arrows: 0.836735
     SCCS (3):
      Scc:
       { odds#() -> pairs#(),
        pairs#() -> odds#()}
      Scc:
       {nats#() -> nats#()}
      Scc:
       {  incr# cons(X, XS) -> activate# XS,
        activate# n__incr X -> incr# X}
      
      SCC (2):
       Strict:
        { odds#() -> pairs#(),
         pairs#() -> odds#()}
       Weak:
       {            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}
       Open
      
      SCC (1):
       Strict:
        {nats#() -> nats#()}
       Weak:
       {            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}
       Open
      
      SCC (2):
       Strict:
        {  incr# cons(X, XS) -> activate# XS,
         activate# n__incr X -> incr# X}
       Weak:
       {            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}
       Open