(SIG
   (a -> 0)
   (b -> 0)
   (c -> 0)
   (d -> 0)
)
(RULES
  a -> b
  a -> d
  b -> a
  c -> a
  c -> b
)
(COMMENT Example 5.2 from \cite{NFZ17})