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