(VAR X)
(RULES 
f(X) -> g
)