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