(RULES
  a -> a
  g(a) -> b
  g(a) -> g(g(a))
  g(b) -> a
)
(COMMENT -f "a:0 b:0 g:1" -r 4 -v 0 "UNC & ~NFP & WCR")