MAYBE
Time: 0.001752
TRS:
 {         a__zeros() -> cons(0(), zeros()),
           a__zeros() -> zeros(),
    mark cons(X1, X2) -> cons(mark X1, X2),
             mark 0() -> 0(),
         mark zeros() -> a__zeros(),
          mark tail X -> a__tail mark X,
            a__tail X -> tail X,
  a__tail cons(X, XS) -> mark XS}
 DP:
  DP:
   {  mark# cons(X1, X2) -> mark# X1,
           mark# zeros() -> a__zeros#(),
            mark# tail X -> mark# X,
            mark# tail X -> a__tail# mark X,
    a__tail# cons(X, XS) -> mark# XS}
  TRS:
  {         a__zeros() -> cons(0(), zeros()),
            a__zeros() -> zeros(),
     mark cons(X1, X2) -> cons(mark X1, X2),
              mark 0() -> 0(),
          mark zeros() -> a__zeros(),
           mark tail X -> a__tail mark X,
             a__tail X -> tail X,
   a__tail cons(X, XS) -> mark XS}
  UR:
   {         a__zeros() -> cons(0(), zeros()),
             a__zeros() -> zeros(),
      mark cons(X1, X2) -> cons(mark X1, X2),
               mark 0() -> 0(),
           mark zeros() -> a__zeros(),
            mark tail X -> a__tail mark X,
              a__tail X -> tail X,
    a__tail cons(X, XS) -> mark XS}
   EDG:
    {(mark# cons(X1, X2) -> mark# X1, mark# tail X -> a__tail# mark X)
     (mark# cons(X1, X2) -> mark# X1, mark# tail X -> mark# X)
     (mark# cons(X1, X2) -> mark# X1, mark# zeros() -> a__zeros#())
     (mark# cons(X1, X2) -> mark# X1, mark# cons(X1, X2) -> mark# X1)
     (a__tail# cons(X, XS) -> mark# XS, mark# cons(X1, X2) -> mark# X1)
     (a__tail# cons(X, XS) -> mark# XS, mark# zeros() -> a__zeros#())
     (a__tail# cons(X, XS) -> mark# XS, mark# tail X -> mark# X)
     (a__tail# cons(X, XS) -> mark# XS, mark# tail X -> a__tail# mark X)
     (mark# tail X -> a__tail# mark X, a__tail# cons(X, XS) -> mark# XS)
     (mark# tail X -> mark# X, mark# cons(X1, X2) -> mark# X1)
     (mark# tail X -> mark# X, mark# zeros() -> a__zeros#())
     (mark# tail X -> mark# X, mark# tail X -> mark# X)
     (mark# tail X -> mark# X, mark# tail X -> a__tail# mark X)}
    STATUS:
     arrows: 0.480000
     SCCS (1):
      Scc:
       {  mark# cons(X1, X2) -> mark# X1,
                mark# tail X -> mark# X,
                mark# tail X -> a__tail# mark X,
        a__tail# cons(X, XS) -> mark# XS}
      
      SCC (4):
       Strict:
        {  mark# cons(X1, X2) -> mark# X1,
                 mark# tail X -> mark# X,
                 mark# tail X -> a__tail# mark X,
         a__tail# cons(X, XS) -> mark# XS}
       Weak:
       {         a__zeros() -> cons(0(), zeros()),
                 a__zeros() -> zeros(),
          mark cons(X1, X2) -> cons(mark X1, X2),
                   mark 0() -> 0(),
               mark zeros() -> a__zeros(),
                mark tail X -> a__tail mark X,
                  a__tail X -> tail X,
        a__tail cons(X, XS) -> mark XS}
       Open