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