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