MAYBE
MAYBE
TRS:
 {
        f(x, 0()) -> x,
    f(f(x, y), z) -> f(x, f(y, z)),
        f(0(), y) -> y,
       f(i(x), y) -> i(x),
    f(g(x, y), z) -> g(f(x, z), f(y, z)),
  f(1(), g(x, y)) -> x,
  f(2(), g(x, y)) -> y
 }
 DUP: We consider a duplicating system.
  Trs:
   {
          f(x, 0()) -> x,
      f(f(x, y), z) -> f(x, f(y, z)),
          f(0(), y) -> y,
         f(i(x), y) -> i(x),
      f(g(x, y), z) -> g(f(x, z), f(y, z)),
    f(1(), g(x, y)) -> x,
    f(2(), g(x, y)) -> y
   }
  Fail