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