(VAR x)
(RULES
  a -> b
  a -> f(a)
  f(x) -> x
)
(COMMENT
doi:10.1145/2528934
[109] Example 3.5
)