(VAR )
(RULES
   f(c) -> g(c)
   g(c) -> f(c)
      c -> d
)
(COMMENT Example 1 of Ishizuki/Oyamaguchi/Sakai, IWC 2016)