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