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