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