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