(SIG
   (a   -> o)
   (g   o -> o)
   (b   -> o)
)
(RULES
   a -> a
   g(g(a)) -> b
   g(g(x)) -> g(g(g(b)))
)