YES
Time: 0.013405
TRS:
 {            zeros() -> cons(0(), n__zeros()),
              zeros() -> n__zeros(),
           activate X -> X,
  activate n__zeros() -> zeros(),
     tail cons(X, XS) -> activate XS}
 DP:
  DP:
   {activate# n__zeros() -> zeros#(),
       tail# cons(X, XS) -> activate# XS}
  TRS:
  {            zeros() -> cons(0(), n__zeros()),
               zeros() -> n__zeros(),
            activate X -> X,
   activate n__zeros() -> zeros(),
      tail cons(X, XS) -> activate XS}
  UR:
   {}
   EDG:
    {(tail# cons(X, XS) -> activate# XS, activate# n__zeros() -> zeros#())}
    STATUS:
     arrows: 0.750000
     SCCS (0):