(VAR ) (RULES f(f(a)) -> f(g) )