(VAR F x y z )
(RULES 
        g(x, y, F) -> f(f(x, F), F)
        f(x, F) -> b
        b -> a
        f(b, ) -> g(f(a, ), f(b, ), F)
        
)