MAYBE
Time: 0.025962
TRS:
 {           __(X, nil()) -> X,
          __(__(X, Y), Z) -> __(X, __(Y, Z)),
             __(nil(), X) -> X,
                 U12 tt() -> tt(),
                 U11 tt() -> U12 tt(),
  isNePal __(I, __(P, I)) -> U11 tt(),
               activate X -> X}
 DP:
  DP:
   {        __#(__(X, Y), Z) -> __#(X, __(Y, Z)),
            __#(__(X, Y), Z) -> __#(Y, Z),
                   U11# tt() -> U12# tt(),
    isNePal# __(I, __(P, I)) -> U11# tt()}
  TRS:
  {           __(X, nil()) -> X,
           __(__(X, Y), Z) -> __(X, __(Y, Z)),
              __(nil(), X) -> X,
                  U12 tt() -> tt(),
                  U11 tt() -> U12 tt(),
   isNePal __(I, __(P, I)) -> U11 tt(),
                activate X -> X}
  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)))
     (isNePal# __(I, __(P, I)) -> U11# tt(), U11# tt() -> U12# tt())
     (__#(__(X, Y), Z) -> __#(X, __(Y, Z)), __#(__(X, Y), Z) -> __#(X, __(Y, Z)))
     (__#(__(X, Y), Z) -> __#(X, __(Y, Z)), __#(__(X, Y), Z) -> __#(Y, Z))}
    STATUS:
     arrows: 0.687500
     SCCS (1):
      Scc:
       {__#(__(X, Y), Z) -> __#(X, __(Y, Z)),
        __#(__(X, Y), Z) -> __#(Y, Z)}
      
      
      
      SCC (2):
       Strict:
        {__#(__(X, Y), Z) -> __#(X, __(Y, Z)),
         __#(__(X, Y), Z) -> __#(Y, Z)}
       Weak:
       {           __(X, nil()) -> X,
                __(__(X, Y), Z) -> __(X, __(Y, Z)),
                   __(nil(), X) -> X,
                       U12 tt() -> tt(),
                       U11 tt() -> U12 tt(),
        isNePal __(I, __(P, I)) -> U11 tt(),
                     activate X -> X}
       Open