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