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