(VAR x)
(RULES
a -> b
a -> c
a -> e
b -> d
c -> a
d -> a
d -> e
g(x) -> h(a)
h(x) -> e
)
(COMMENT Example 3.2 of \cite{KS10}
doi: http://dx.doi.org/10.1007/978-3-642-12251-4_20
)