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