(SIG
   (f    o -> o)
   (a    -> o)
   (b    -> o)
   (a'   -> o)
   (c    -> o)
)
(RULES
   f(a) -> b
   a -> a'
   f(b) -> c
)