(VAR )
(RULES
  b -> a
  b -> c
  c -> b
  c -> d
)
(COMMENT
[11] Example 3.3.1
submitted by: Takahito Aoto, Junichi Yoshida, and Yoshihito Toyama
)