MAYBE
Time: 0.001998
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()}
 DP:
  DP:
   {__#(__(X, Y), Z) -> __#(X, __(Y, Z)),
    __#(__(X, Y), Z) -> __#(Y, Z),
       and#(tt(), X) -> activate# X}
  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()}
  UR:
   {   __(X, nil()) -> X,
    __(__(X, Y), Z) -> __(X, __(Y, Z)),
       __(nil(), X) -> X}
   EDG:
    {(__#(__(X, Y), Z) -> __#(Y, Z), __#(__(X, Y), Z) -> __#(Y, Z))
     (__#(__(X, Y), Z) -> __#(Y, Z), __#(__(X, Y), Z) -> __#(X, __(Y, Z)))
     (__#(__(X, Y), Z) -> __#(X, __(Y, Z)), __#(__(X, Y), Z) -> __#(X, __(Y, Z)))
     (__#(__(X, Y), Z) -> __#(X, __(Y, Z)), __#(__(X, Y), Z) -> __#(Y, Z))}
    EDG:
     {(__#(__(X, Y), Z) -> __#(Y, Z), __#(__(X, Y), Z) -> __#(Y, Z))
      (__#(__(X, Y), Z) -> __#(Y, Z), __#(__(X, Y), Z) -> __#(X, __(Y, Z)))
      (__#(__(X, Y), Z) -> __#(X, __(Y, Z)), __#(__(X, Y), Z) -> __#(X, __(Y, Z)))
      (__#(__(X, Y), Z) -> __#(X, __(Y, Z)), __#(__(X, Y), Z) -> __#(Y, Z))}
     EDG:
      {(__#(__(X, Y), Z) -> __#(Y, Z), __#(__(X, Y), Z) -> __#(Y, Z))
       (__#(__(X, Y), Z) -> __#(Y, Z), __#(__(X, Y), Z) -> __#(X, __(Y, Z)))}
      EDG:
       {(__#(__(X, Y), Z) -> __#(Y, Z), __#(__(X, Y), Z) -> __#(Y, Z))
        (__#(__(X, Y), Z) -> __#(Y, Z), __#(__(X, Y), Z) -> __#(X, __(Y, Z)))}
       STATUS:
        arrows: 0.777778
        SCCS (1):
         Scc:
          {__#(__(X, Y), Z) -> __#(Y, Z)}
         
         
         SCC (1):
          Strict:
           {__#(__(X, Y), Z) -> __#(Y, Z)}
          Weak:
          {           __(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()}
          Open