(VAR x)
(RULES
  a -> b
  a -> f(a,a)
  f(x,a) -> a
)
(COMMENT
[111] p. 29 (GWCR & ~WCR & ~GCR)
)