(VAR x)
(RULES
f(x) -> f(f(x))
)
(COMMENT
Non-terminating.
)