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