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