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