(CONDITIONTYPE ORIENTED)
(VAR x)
(RULES
  h(x) -> a
  g(x) -> x
  g(x) -> a | h(x) == b
  c -> c
)
(COMMENT Example 17 from 10.4230/LIPIcs.FSCD.2016.29)