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