Changed assertions to guarantees in half_intrusive_list_t.