(CONDITIONTYPE ORIENTED)
(VAR x)
(RULES
  p(q(x)) -> 0
  c -> c
  a(x) -> b | p(x) == 0
)
(COMMENT
  \cite{BK86}, Example 2.6.2
  doi: 10.1016/0022-0000(86)90033-4
)