MAYBE
Time: 0.003309
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))}
    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))}
     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())}
      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())}
       STATUS:
        arrows: 0.812500
        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,
                          U12 tt() -> tt(),
                          U11 tt() -> U12 tt(),
           isNePal __(I, __(P, I)) -> U11 tt(),
                        activate X -> X}
          Open