MAYBE
Trs:
 {p(a(x0), p(a(a(a(x1))), x2)) -> p(a(x2), p(a(a(b(x0))), x2))}
 Comment:
  We consider a duplicating trs.
  FAIL:
   Open