(VAR X XS)

(RULES 
zeros -> cons(0,zeros)
tail(cons(X,XS)) -> XS
)