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