Input TRS:
    1: p(a(a(x0)),p(x1,p(a(x2),x3))) -> p(x2,p(a(a(b(x1))),p(a(a(x0)),x3)))
Number of Rules: 1
Direct POLO(mSum) ... failed.