(VAR)
(RULES
  f(a,a,b,b) -> f(c,c,c,c)
  a -> b
  a -> c
  b -> a
  b -> c
)
(COMMENT from \cite{NM16})