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