TRS:
 {   f(x, y) -> x,
      g(a()) -> h(a(), b(), a()),
        i(x) -> f(x, x),
  h(x, x, y) -> g(x)}
 Fail