MAYBE
Time: 0.002268
TRS:
 {             eq() -> true(),
               eq() -> eq(),
               eq() -> false(),
              inf X -> cons(),
       take(0(), X) -> nil(),
  take(s(), cons()) -> cons(),
      length cons() -> s(),
       length nil() -> 0()}
 DP:
  DP:
   {eq#() -> eq#()}
  TRS:
  {             eq() -> true(),
                eq() -> eq(),
                eq() -> false(),
               inf X -> cons(),
        take(0(), X) -> nil(),
   take(s(), cons()) -> cons(),
       length cons() -> s(),
        length nil() -> 0()}
  UR:
   {}
   EDG:
    {(eq#() -> eq#(), eq#() -> eq#())}
    STATUS:
     arrows: 0.000000
     SCCS (1):
      Scc:
       {eq#() -> eq#()}
      
      SCC (1):
       Strict:
        {eq#() -> eq#()}
       Weak:
       {             eq() -> true(),
                     eq() -> eq(),
                     eq() -> false(),
                    inf X -> cons(),
             take(0(), X) -> nil(),
        take(s(), cons()) -> cons(),
            length cons() -> s(),
             length nil() -> 0()}
       Fail