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