MAYBE MAYBE TRS: {p(a(x0), p(x1, p(x2, x3))) -> p(x1, p(x0, p(a(x3), x3)))} Fail