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()}
 RUF:
  Strict:
   {eq() -> true(),
    eq() -> eq(),
    eq() -> false()}
  Weak:
   {}
  DP:
   Strict:
    {eq#() -> eq#()}
   Weak:
   {eq() -> true(),
    eq() -> eq(),
    eq() -> false()}
   EDG:
    {(eq#() -> eq#(), eq#() -> eq#())}
    SCCS:
     Scc:
      {eq#() -> eq#()}
     SCC:
      Strict:
       {eq#() -> eq#()}
      Weak:
      {eq() -> true(),
       eq() -> eq(),
       eq() -> false()}
      Fail