(VAR x y )
(RULES 
        *(x,*(minus(y),y)) -> *(minus(*(y,y)),x)
        
)