(VAR x y z )
(RULES 
        f(g(x, y), x, z) -> f(z, z, z)
        g(x, y) -> x
        g(x, y) -> y
        
)