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