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