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