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