TRS:
 {             eq() -> true(),
               eq() -> eq(),
               eq() -> false(),
             inf(X) -> cons(),
       take(0(), X) -> nil(),
  take(s(), cons()) -> cons(),
      length(nil()) -> 0(),
     length(cons()) -> s()}
 Fail