(VAR x)
(RULES
  a -> a
  f(b,a) -> f(a,b)
  f(x,a) -> b
)
(COMMENT
generated by FORT "UN & ~NFP"
submitted by: Franziska Rapp
)