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