test_multi_function.expected

==== Verification Results ====
List_get_body_calls_List_get_0: ✅ pass
List_take_body_calls_List_take_0: ✅ pass
List_drop_body_calls_List_drop_0: ✅ pass
List_slice_body_calls_List_drop_0: ✅ pass
List_slice_body_calls_List_take_1: ✅ pass
List_set_body_calls_List_set_0: ✅ pass
DictStrAny_get_body_calls_DictStrAny_get_0: ✅ pass
Any_get_body_calls_DictStrAny_get_0: ✅ pass
Any_get_body_calls_List_get_1: ✅ pass
Any_get!_body_calls_DictStrAny_get_0: ✅ pass
Any_get!_body_calls_List_get_1: ✅ pass
Any_set_body_calls_List_set_0: ✅ pass
Any_set!_body_calls_List_set_0: ✅ pass
PFloorDiv_body_calls_Int.SafeDiv_0: ✅ pass
PFloorDiv_body_calls_Int.SafeDiv_1: ✅ pass
PFloorDiv_body_calls_Int.SafeDiv_2: ✅ pass
PFloorDiv_body_calls_Int.SafeDiv_3: ✅ pass
PAnd_body_calls_Any_to_bool_0: ✅ pass
POr_body_calls_Any_to_bool_0: ✅ pass
ret_type: ✅ pass (in prelude file)
ret_type: ✅ pass (in prelude file)
ret_pos: ✅ pass (in prelude file)
assert_name_is_foo: ✅ pass (in prelude file)
assert_opt_name_none_or_str: ✅ pass (in prelude file)
assert_opt_name_none_or_bar: ✅ pass (in prelude file)
ensures_maybe_except_none: ✅ pass (in prelude file)
ite_cond_calls_PNotIn_0: ❓ unknown
ite_cond_calls_Any_to_bool_1: ✅ pass
ite_cond_calls_PNotIn_0: ❓ unknown
ite_cond_calls_Any_to_bool_1: ✅ pass
ite_cond_calls_Any_to_bool_0: ❓ unknown
set_LaurelResult_calls_Any_get_0: ❓ unknown
assert_assert(651)_calls_Any_to_bool_0: ✅ pass (at line 24, col 4)
assert(651): ❓ unknown (at line 24, col 4)
(Origin_test_helper_procedure_Requires)req_name_is_foo: ✅ pass (in prelude file)
(Origin_test_helper_procedure_Requires)req_opt_name_none_or_str: ✅ pass (in prelude file)
(Origin_test_helper_procedure_Requires)req_opt_name_none_or_bar: ✅ pass (in prelude file)
ite_cond_calls_Any_to_bool_0: ✅ pass