MAYBE
MAYBE
TRS:
 {
               eq() -> true(),
               eq() -> eq(),
               eq() -> false(),
             inf(X) -> cons(),
       take(0(), X) -> nil(),
  take(s(), cons()) -> cons(),
     length(cons()) -> s(),
      length(nil()) -> 0()
 }
 DUP: We consider a non-duplicating system.
  Trs:
   {
                 eq() -> true(),
                 eq() -> eq(),
                 eq() -> false(),
               inf(X) -> cons(),
         take(0(), X) -> nil(),
    take(s(), cons()) -> cons(),
       length(cons()) -> s(),
        length(nil()) -> 0()
   }
  Fail