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