(VAR x)
(RULES
  c0 -> c0
  f0(f0(x, c0), c0) -> c1
)
(COMMENT UNC & ~NFP & ~SN)