NO
Input TRS:
      1: tail(cons(X)) -> XS
      2: zeros() -> cons(0())
Extra variable in rule 1.