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