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