(CONDITIONTYPE ORIENTED)
(VAR x)
(RULES
  f(x) -> a | x == b
)
(COMMENT
  \cite{SG10}, example 2
  doi: 10.1016/j.jlap.2009.08.001
)