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