MAYBE
Trs:
 {f(f(x)) -> f(h(f(x), f(x))),
  f(f(x)) -> f(g(f(x), x)),
  h(x, x) -> g(x, 0()),
  g(x, y) -> y}
 Comment:
  We consider a duplicating trs.
  FAIL:
   Open