MAYBE
MAYBE
TRS:
 {
              zeros() -> cons(0()),
            U11(tt()) -> tt(),
            U21(tt()) -> tt(),
            U31(tt()) -> tt(),
            U42(tt()) -> tt(),
         isNatIList() -> tt(),
         isNatIList() -> U31(isNatList()),
         isNatIList() -> U41(isNat()),
            U41(tt()) -> U42(isNatIList()),
            U52(tt()) -> tt(),
          isNatList() -> tt(),
          isNatList() -> U51(isNat()),
          isNatList() -> U61(isNat()),
            U51(tt()) -> U52(isNatList()),
            U62(tt()) -> tt(),
            U61(tt()) -> U62(isNatIList()),
            U72(tt()) -> s(length(L)),
              isNat() -> tt(),
              isNat() -> U11(isNatList()),
              isNat() -> U21(isNat()),
            U71(tt()) -> U72(isNat()),
      length(cons(N)) -> U71(isNatList()),
        length(nil()) -> 0(),
            U81(tt()) -> nil(),
            U92(tt()) -> U93(isNat()),
            U91(tt()) -> U92(isNat()),
            U93(tt()) -> cons(N),
        take(0(), IL) -> U81(isNatIList()),
  take(s(M), cons(N)) -> U91(isNatIList())
 }
 DUP: We consider a duplicating system.
  Trs:
   {
                zeros() -> cons(0()),
              U11(tt()) -> tt(),
              U21(tt()) -> tt(),
              U31(tt()) -> tt(),
              U42(tt()) -> tt(),
           isNatIList() -> tt(),
           isNatIList() -> U31(isNatList()),
           isNatIList() -> U41(isNat()),
              U41(tt()) -> U42(isNatIList()),
              U52(tt()) -> tt(),
            isNatList() -> tt(),
            isNatList() -> U51(isNat()),
            isNatList() -> U61(isNat()),
              U51(tt()) -> U52(isNatList()),
              U62(tt()) -> tt(),
              U61(tt()) -> U62(isNatIList()),
              U72(tt()) -> s(length(L)),
                isNat() -> tt(),
                isNat() -> U11(isNatList()),
                isNat() -> U21(isNat()),
              U71(tt()) -> U72(isNat()),
        length(cons(N)) -> U71(isNatList()),
          length(nil()) -> 0(),
              U81(tt()) -> nil(),
              U92(tt()) -> U93(isNat()),
              U91(tt()) -> U92(isNat()),
              U93(tt()) -> cons(N),
          take(0(), IL) -> U81(isNatIList()),
    take(s(M), cons(N)) -> U91(isNatIList())
   }
  Fail