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