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