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