MAYBE

Problem:
 p(a(a(x0)),p(x1,p(a(x2),x3))) -> p(x2,p(a(a(b(x1))),p(a(a(x0)),x3)))

Proof:
 Complexity Transformation Processor:
  strict:
   p(a(a(x0)),p(x1,p(a(x2),x3))) -> p(x2,p(a(a(b(x1))),p(a(a(x0)),x3)))
  weak:
   
  Open