(VAR x y )
(STRATEGY INNERMOST)
(RULES 
        g(c, g(a(x), y)) -> g(f(a(b)), g(a(y), x))
        f(a(x)) -> c
        a(b) -> d
        
)