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