(VAR x y )
(RULES 
        f(x,y) -> h(x,y)
        f(x,y) -> h(y,x)
        h(x,x) -> x
        
)