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