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