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