TRS: {f(0(), 1(), X) -> h(X, X), h(0(), X) -> f(0(), X, X), g(X, Y) -> X, g(X, Y) -> Y} Fail