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