MAYBE MAYBE TRS: {f(f(x, y, a()), z, w) -> f(z, w, f(y, x, z))} Fail