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