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