YES
(VAR y x)
(RULES
\(y,x) -> *(x,y)
*(*(y,x),y) -> x
/(y,x) -> *(x,y)
*(y,*(x,y)) -> x
)