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