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