MAYBE
MAYBE
TRS:
 {
     __(X, nil()) -> X,
  __(__(X, Y), Z) -> __(X, __(Y, Z)),
     __(nil(), X) -> X,
        and(tt()) -> X,
       isNeList() -> and(isNeList()),
       isNeList() -> and(isList()),
       isNeList() -> isQid(),
         isList() -> and(isList()),
         isList() -> tt(),
         isList() -> isNeList(),
          isQid() -> tt(),
        isNePal() -> and(isQid()),
        isNePal() -> isQid(),
          isPal() -> tt(),
          isPal() -> isNePal()
 }
 DUP: We consider a duplicating system.
  Trs:
   {
       __(X, nil()) -> X,
    __(__(X, Y), Z) -> __(X, __(Y, Z)),
       __(nil(), X) -> X,
          and(tt()) -> X,
         isNeList() -> and(isNeList()),
         isNeList() -> and(isList()),
         isNeList() -> isQid(),
           isList() -> and(isList()),
           isList() -> tt(),
           isList() -> isNeList(),
            isQid() -> tt(),
          isNePal() -> and(isQid()),
          isNePal() -> isQid(),
            isPal() -> tt(),
            isPal() -> isNePal()
   }
  Fail