MAYBE
MAYBE
TRS:
 {
              __(X, nil()) -> X,
           __(__(X, Y), Z) -> __(X, __(Y, Z)),
              __(nil(), X) -> X,
               activate(X) -> X,
              and(tt(), X) -> activate(X),
  isNePal(__(I, __(P, I))) -> tt()
 }
 Fail