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