(VAR x) (RULES f(x) -> f(g(x)) ) (COMMENT Non-termiating. )