MAYBE
Time: 0.005410
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}
  EDG:
   {(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#())
    (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#())}
   STATUS:
    arrows: 0.720000
    SCCS (1):
     Scc:
      {mark# cons(X1, X2) -> mark# X1}
     
     
     
     
     SCC (1):
      Strict:
       {mark# cons(X1, X2) -> mark# X1}
      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