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