(VAR x)
(RULES
  d(x,x) -> 0
  f(x) -> d(x,f(x))
  c -> f(c)
)
(COMMENT Example 37 from \cite{LJO15})