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