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