MAYBE
MAYBE
TRS:
 {p(a(a(x0)), p(x1, p(a(x2), x3))) -> p(x2, p(a(a(b(x1))), p(a(a(x0)), x3)))}
 DUP: We consider a non-duplicating system.
  Trs:
   {
    p(a(a(x0)), p(x1, p(a(x2), x3))) ->
    p(x2, p(a(a(b(x1))), p(a(a(x0)), x3)))
   }
  Fail