(RULES f(a) -> f(a) ) (COMMENT Non-terminating. )