(VAR x)
(RULES
  a -> a
  f(b, x) -> b
  f(x, a) -> a
)
(COMMENT p.29 of \cite{IWC16}
  GUNC & ~UNC & ~GNFP
)