TRS: {f(0(), 1(), x) -> f(h(x), h(x), x), h(0()) -> 0(), h(g(x, y)) -> y} Fail