YES
Input TRS:
      1: a__zeros() -> cons(0(),zeros())
      2: a__tail(cons(X,XS)) -> mark(XS)
      3: mark(zeros()) -> a__zeros()
      4: mark(tail(X)) -> a__tail(mark(X))
      5: mark(cons(X1,X2)) -> cons(mark(X1),X2)
      6: mark(0()) -> 0()
      7: a__zeros() -> zeros()
      8: a__tail(X) -> tail(X)
Number of strict rules: 8
Direct POLO(bPol) ... removes: 1 3 7 6 2
      zeros	w: 1
      tail	w: x1 + 21243
      0 	w: 1
      mark	w: x1 + 5
      cons	w: x1 + 2 * x2 + 1
      a__tail	w: x1 + 21243
      a__zeros	w: 5
Number of strict rules: 3
Direct POLO(bPol) ... removes: 4 8 5
      zeros	w: 2438
      tail	w: x1 + 21243
      0 	w: 1
      mark	w: 2 * x1 + 8857
      cons	w: x1 + 2 * x2 + 8856
      a__tail	w: x1 + 21244
      a__zeros	w: 13733
Number of strict rules: 0