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