MAYBE
MAYBE
TRS:
 {
     __(X, nil()) -> X,
  __(__(X, Y), Z) -> __(X, __(Y, Z)),
     __(nil(), X) -> X,
        U12(tt()) -> tt(),
       isNeList() -> U31(isPalListKind()),
       isNeList() -> U41(and(isPalListKind())),
       isNeList() -> U51(and(isPalListKind())),
        U11(tt()) -> U12(isNeList()),
        U22(tt()) -> U23(isList()),
         isList() -> U11(isPalListKind()),
         isList() -> tt(),
         isList() -> U21(and(isPalListKind())),
        U21(tt()) -> U22(isList()),
        U23(tt()) -> tt(),
        U32(tt()) -> tt(),
          isQid() -> tt(),
        U31(tt()) -> U32(isQid()),
        U42(tt()) -> U43(isNeList()),
        U41(tt()) -> U42(isList()),
        U43(tt()) -> tt(),
        U52(tt()) -> U53(isList()),
        U51(tt()) -> U52(isNeList()),
        U53(tt()) -> tt(),
        U62(tt()) -> tt(),
        U61(tt()) -> U62(isQid()),
        U72(tt()) -> tt(),
        isNePal() -> U61(isPalListKind()),
        isNePal() -> and(and(isQid())),
        U71(tt()) -> U72(isNePal()),
        and(tt()) -> X,
  isPalListKind() -> tt(),
  isPalListKind() -> and(isPalListKind()),
          isPal() -> tt(),
          isPal() -> U71(isPalListKind())
 }
 DUP: We consider a duplicating system.
  Trs:
   {
       __(X, nil()) -> X,
    __(__(X, Y), Z) -> __(X, __(Y, Z)),
       __(nil(), X) -> X,
          U12(tt()) -> tt(),
         isNeList() -> U31(isPalListKind()),
         isNeList() -> U41(and(isPalListKind())),
         isNeList() -> U51(and(isPalListKind())),
          U11(tt()) -> U12(isNeList()),
          U22(tt()) -> U23(isList()),
           isList() -> U11(isPalListKind()),
           isList() -> tt(),
           isList() -> U21(and(isPalListKind())),
          U21(tt()) -> U22(isList()),
          U23(tt()) -> tt(),
          U32(tt()) -> tt(),
            isQid() -> tt(),
          U31(tt()) -> U32(isQid()),
          U42(tt()) -> U43(isNeList()),
          U41(tt()) -> U42(isList()),
          U43(tt()) -> tt(),
          U52(tt()) -> U53(isList()),
          U51(tt()) -> U52(isNeList()),
          U53(tt()) -> tt(),
          U62(tt()) -> tt(),
          U61(tt()) -> U62(isQid()),
          U72(tt()) -> tt(),
          isNePal() -> U61(isPalListKind()),
          isNePal() -> and(and(isQid())),
          U71(tt()) -> U72(isNePal()),
          and(tt()) -> X,
    isPalListKind() -> tt(),
    isPalListKind() -> and(isPalListKind()),
            isPal() -> tt(),
            isPal() -> U71(isPalListKind())
   }
  Fail