test_default_params.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)
loop_guard_calls_Any_to_bool_0: ❓ unknown
loop_guard_end_calls_Any_to_bool_0: ✅ pass
assert_assert(325)_calls_Any_to_bool_0: ✅ pass (at line 15, col 4)
assert(325): ❓ unknown (at line 15, col 4)
assert_assert(421)_calls_Any_to_bool_0: ✅ pass (at line 18, col 4)
assert(421): ❓ unknown (at line 18, col 4)
assert_assert(501)_calls_Any_to_bool_0: ✅ pass (at line 21, col 4)
assert(501): ❓ unknown (at line 21, col 4)
assert_assert(571)_calls_Any_to_bool_0: ✅ pass (at line 24, col 4)
assert(571): ❓ unknown (at line 24, col 4)
ite_cond_calls_Any_to_bool_0: ✅ pass