YES
(VAR x)
(RULES
f(x) -> x
)