(VAR x)
(RULES
  c0 -> c1
  f0(c1, c1) -> f0(c0, c0)
  f0(x, c0) -> f0(c0, c0)
)
(COMMENT p.29 of \cite{IWC16}
  GNFP & ~NFP & ~GCR
)