(VAR X )
(RULES 
        a -> g(c)
        g(a) -> b
        f(g(X), b) -> f(a, X)
        
)