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

(COMMENT
Non-terminating.
)