(VAR x y)
(RULES
  f(h(x,d),y) -> f(h(y,d),x)
  h(c,x) -> h(x,x)
)
(COMMENT
  Example 2.5 from \cite{OH14}
)