MAYBE
MAYBE
TRS:
 {
              __(X, nil()) -> X,
           __(__(X, Y), Z) -> __(X, __(Y, Z)),
              __(nil(), X) -> X,
                 and(tt()) -> X,
  isNePal(__(I, __(P, I))) -> tt()
 }
 DUP: We consider a duplicating system.
  Trs:
   {
                __(X, nil()) -> X,
             __(__(X, Y), Z) -> __(X, __(Y, Z)),
                __(nil(), X) -> X,
                   and(tt()) -> X,
    isNePal(__(I, __(P, I))) -> tt()
   }
  Fail