(VAR x y)
(RULES
 +(x,y) -> +(y,x)
)
(COMMENT from the collection of \cite{AT2012})