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