(VAR x y)
(RULES
  f(x,x) -> a
  f(x,x) -> b

  g(x,y) -> g(y,x)
)