(VAR x)
(RULES
  f(x,x) -> a
  f(x,c(x)) -> b
  g -> c(g)
  a -> b
)
(COMMENT example NKH^1 from \cite{LJO15})