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