Add more integration tests for PyAnalyzeLaurel

StrataTest/Languages/Python/expected_laurel/test_boolean_logic.expected

@@ -0,0 +1,56 @@
+
+==== 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)
+assert_assert(73)_calls_PAnd_0: ✅ pass (at line 5, col 4)
+assert_assert(73)_calls_Any_to_bool_1: ✅ pass (at line 5, col 4)
+assert(73): ✅ pass (at line 5, col 4)
+assert_assert(124)_calls_PAnd_0: ✅ pass (at line 6, col 4)
+assert_assert(124)_calls_Any_to_bool_1: ✅ pass (at line 6, col 4)
+assert(124): ✅ pass (at line 6, col 4)
+assert_assert(201)_calls_POr_0: ✅ pass (at line 9, col 4)
+assert_assert(201)_calls_Any_to_bool_1: ✅ pass (at line 9, col 4)
+assert(201): ✅ pass (at line 9, col 4)
+assert_assert(251)_calls_POr_0: ✅ pass (at line 10, col 4)
+assert_assert(251)_calls_Any_to_bool_1: ✅ pass (at line 10, col 4)
+assert(251): ✅ pass (at line 10, col 4)
+assert_assert(320)_calls_Any_to_bool_0: ✅ pass (at line 13, col 4)
+assert(320): ✅ pass (at line 13, col 4)
+assert_assert(365)_calls_Any_to_bool_0: ✅ pass (at line 14, col 4)
+assert(365): ✅ pass (at line 14, col 4)
+ite_cond_calls_PAnd_0: ✅ pass
+ite_cond_calls_Any_to_bool_1: ✅ pass
+assert_assert(570)_calls_Any_to_bool_0: ✅ pass (at line 25, col 4)
+assert(570): ✅ pass (at line 25, col 4)
+ite_cond_calls_POr_0: ✅ pass
+ite_cond_calls_Any_to_bool_1: ✅ pass
+assert_assert(700)_calls_Any_to_bool_0: ✅ pass (at line 31, col 4)
+assert(700): ✅ pass (at line 31, col 4)
+ite_cond_calls_Any_to_bool_0: ✅ pass
+assert_assert(825)_calls_Any_to_bool_0: ✅ pass (at line 37, col 4)
+assert(825): ✅ pass (at line 37, col 4)
+ite_cond_calls_Any_to_bool_0: ✅ pass

StrataTest/Languages/Python/expected_laurel/test_class_methods.expected

@@ -0,0 +1,38 @@
+
+==== 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)
+assert_assert(445)_calls_Any_to_bool_0: ✅ pass (at line 21, col 4)
+assert(445): ❓ unknown (at line 21, col 4)
+assert_assert(539)_calls_Any_to_bool_0: ✅ pass (at line 24, col 4)
+assert(539): ❓ unknown (at line 24, col 4)
+assert_assert(654)_calls_Any_to_bool_0: ✅ pass (at line 28, col 4)
+assert(654): ❓ unknown (at line 28, 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

StrataTest/Languages/Python/expected_laurel/test_class_with_methods.expected

@@ -0,0 +1,36 @@
+
+==== 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)
+assert_assert(459)_calls_Any_to_bool_0: ✅ pass (at line 23, col 4)
+assert(459): ❓ unknown (at line 23, col 4)
+assert_assert(544)_calls_Any_to_bool_0: ✅ pass (at line 26, col 4)
+assert(544): ❓ unknown (at line 26, 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

StrataTest/Languages/Python/expected_laurel/test_default_params.expected

@@ -0,0 +1,39 @@
+
+==== 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

StrataTest/Languages/Python/expected_laurel/test_dict_operations.expected

@@ -0,0 +1,58 @@
+
+==== 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)
+assert_assert(81)_calls_Any_get_0: ✅ pass (at line 7, col 0)
+assert_assert(81)_calls_Any_to_bool_1: ✅ pass (at line 7, col 0)
+assert(81): ✅ pass (at line 7, col 0)
+assert_assert(118)_calls_Any_get_0: ✅ pass (at line 8, col 0)
+assert_assert(118)_calls_Any_to_bool_1: ✅ pass (at line 8, col 0)
+assert(118): ✅ pass (at line 8, col 0)
+assert_assert(172)_calls_Any_get_0: ✅ pass (at line 11, col 0)
+assert_assert(172)_calls_Any_to_bool_1: ✅ pass (at line 11, col 0)
+assert(172): ✅ pass (at line 11, col 0)
+assert_assert(204)_calls_PIn_0: ✅ pass (at line 13, col 0)
+assert_assert(204)_calls_Any_to_bool_1: ✅ pass (at line 13, col 0)
+assert(204): ✅ pass (at line 13, col 0)
+assert_assert(228)_calls_PNotIn_0: ✅ pass (at line 14, col 0)
+assert_assert(228)_calls_Any_to_bool_1: ✅ pass (at line 14, col 0)
+assert(228): ✅ pass (at line 14, col 0)
+assert_assert(403)_calls_Any_get_0: ✅ pass (at line 23, col 0)
+assert_assert(403)_calls_Any_get_1: ✅ pass (at line 23, col 0)
+assert_assert(403)_calls_Any_get_2: ✅ pass (at line 23, col 0)
+assert_assert(403)_calls_Any_to_bool_3: ✅ pass (at line 23, col 0)
+assert(403): ✅ pass (at line 23, col 0)
+assert_assert(457)_calls_Any_get_0: ✅ pass (at line 24, col 0)
+assert_assert(457)_calls_Any_get_1: ✅ pass (at line 24, col 0)
+assert_assert(457)_calls_Any_get_2: ✅ pass (at line 24, col 0)
+assert_assert(457)_calls_Any_to_bool_3: ✅ pass (at line 24, col 0)
+assert(457): ✅ pass (at line 24, col 0)
+assert_assert(557)_calls_Any_get_0: ✅ pass (at line 27, col 0)
+assert_assert(557)_calls_Any_get_1: ✅ pass (at line 27, col 0)
+assert_assert(557)_calls_Any_get_2: ✅ pass (at line 27, col 0)
+assert_assert(557)_calls_Any_to_bool_3: ✅ pass (at line 27, col 0)
+assert(557): ✅ pass (at line 27, col 0)

StrataTest/Languages/Python/expected_laurel/test_for_loop.expected

@@ -0,0 +1,38 @@
+
+==== 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)
+assert_assert(129)_calls_Any_to_bool_0: ✅ pass (at line 6, col 4)
+assert(129): ❓ unknown (at line 6, col 4)
+ite_cond_calls_Any_to_bool_0: ❓ unknown
+assert_assert(361)_calls_Any_to_bool_0: ✅ pass (at line 15, col 4)
+assert(361): ❓ unknown (at line 15, col 4)
+ite_cond_calls_Any_to_bool_0: ✅ pass
+assert_assert(611)_calls_Any_to_bool_0: ✅ pass (at line 25, col 4)
+assert(611): ✅ pass (at line 25, col 4)
+assert_assert(611)_calls_Any_to_bool_0: ✅ pass (at line 25, col 4)
+assert(611): ❓ unknown (at line 25, col 4)

StrataTest/Languages/Python/expected_laurel/test_if_elif.expected

@@ -0,0 +1,40 @@
+
+==== 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_Any_to_bool_0: ❓ unknown
+ite_cond_calls_Any_to_bool_0: ✅ pass
+ite_cond_calls_Any_to_bool_0: ❓ unknown
+assert_assert(225)_calls_Any_to_bool_0: ✅ pass (at line 13, col 4)
+assert(225): ❓ unknown (at line 13, col 4)
+assert_assert(302)_calls_Any_to_bool_0: ✅ pass (at line 16, col 4)
+assert(302): ❓ unknown (at line 16, col 4)
+assert_assert(371)_calls_Any_to_bool_0: ✅ pass (at line 19, col 4)
+assert(371): ❓ unknown (at line 19, col 4)
+assert_assert(444)_calls_Any_to_bool_0: ✅ pass (at line 22, col 4)
+assert(444): ❓ unknown (at line 22, col 4)
+ite_cond_calls_Any_to_bool_0: ✅ pass

StrataTest/Languages/Python/expected_laurel/test_module_level.expected

@@ -0,0 +1,43 @@
+
+==== 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)
+assert_assert(115)_calls_Any_get_0: ✅ pass (at line 9, col 0)
+assert_assert(115)_calls_Any_to_bool_1: ✅ pass (at line 9, col 0)
+assert(115): ✅ pass (at line 9, col 0)
+assert_assert(145)_calls_Any_get_0: ✅ pass (at line 10, col 0)
+assert_assert(145)_calls_Any_to_bool_1: ✅ pass (at line 10, col 0)
+assert(145): ✅ pass (at line 10, col 0)
+assert_assert(201)_calls_Any_get_0: ✅ pass (at line 13, col 0)
+assert_assert(201)_calls_Any_to_bool_1: ✅ pass (at line 13, col 0)
+assert(201): ✅ pass (at line 13, col 0)
+assert_assert(236)_calls_PIn_0: ✅ pass (at line 14, col 0)
+assert_assert(236)_calls_Any_to_bool_1: ✅ pass (at line 14, col 0)
+assert(236): ✅ pass (at line 14, col 0)
+assert_assert(258)_calls_PNotIn_0: ✅ pass (at line 15, col 0)
+assert_assert(258)_calls_Any_to_bool_1: ✅ pass (at line 15, col 0)
+assert(258): ✅ pass (at line 15, col 0)

StrataTest/Languages/Python/expected_laurel/test_multi_function.expected

@@ -0,0 +1,40 @@
+
+==== 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