(VAR X)
(RULES 
f(X) -> f(b)
b -> a
)