eliminate dead block args

[vaivaswatha]

Code size reductions

test	before	after	%reduction
should_pass/return_in_strange_positions	408	408	0
should_pass/payable_non_zero_coins	2088	2088	0
should_pass/superabi_contract_calls	4448	4416	0.719424460431655
should_pass/superabi_supertrait_same_methods	3432	3400	0.932400932400932
should_pass/stdlib/vec	113448	113448	0
should_pass/stdlib/alloc_test	928	928	0
should_pass/stdlib/vec_swap	25424	25424	0
should_pass/stdlib/intrinsics	392	392	0
should_pass/stdlib/ge_test	672	672	0
should_pass/stdlib/assert_ne_revert	816	816	0
should_pass/stdlib/assert_eq	6720	6712	0.119047619047619
should_pass/stdlib/u128_log_test	4760	4728	0.672268907563025
should_pass/stdlib/u128_root_test	4568	4568	0
should_pass/stdlib/raw_ptr	4912	4912	0
should_pass/stdlib/identity_eq	2600	2600	0
should_pass/stdlib/eq_custom_type	800	800	0
should_pass/stdlib/contract_id_type	744	744	0
should_pass/stdlib/option_eq	12328	12328	0
should_pass/stdlib/option	24592	24576	0.0650618087182824
should_pass/stdlib/eq_generic	256	256	0
should_pass/stdlib/u128_div_test	2864	2840	0.837988826815642
should_pass/stdlib/generic_empty_struct_with_constraint	256	256	0
should_pass/stdlib/u128_test	6672	6656	0.239808153477218
should_pass/stdlib/assert_test	392	392	0
should_pass/stdlib/result	9176	9160	0.1743679163034
should_pass/stdlib/contract_id_test	752	752	0
should_pass/stdlib/assert_ne	6320	6312	0.126582278481013
should_pass/stdlib/address_test	4464	4464	0
should_pass/stdlib/storage_vec_insert	9288	9288	0
should_pass/stdlib/block_height	440	440	0
should_pass/stdlib/u128_mul_test	1560	1560	0
should_pass/stdlib/if_type_revert	376	376	0
should_pass/stdlib/b512_test	3736	3736	0
should_pass/stdlib/vec_byte_remove	2032	2032	0
should_pass/stdlib/sha256	2400	2400	0
should_pass/stdlib/assert_eq_revert	816	816	0
should_pass/stdlib/chess	1688	1688	0
should_pass/stdlib/require	1328	1328	0
should_pass/stdlib/b512_struct_alignment	896	896	0
should_pass/stdlib/iterator	2792	2784	0.286532951289398
should_pass/stdlib/raw_slice	1232	1232	0
should_pass/test_contracts/nested_struct_args_contract	1616	1616	0
should_pass/test_contracts/abi_with_generic_types	5400	5400	0
should_pass/test_contracts/basic_storage	37552	37544	0.0213037920749893
should_pass/test_contracts/storage_access_contract	34440	34432	0.0232288037166086
should_pass/test_contracts/return_struct	3848	3848	0
should_pass/test_contracts/array_of_structs_contract	4160	4160	0
should_pass/test_contracts/auth_testing_contract	1280	1280	0
should_pass/test_contracts/issue_1512_repro	2824	2824	0
should_pass/test_contracts/abi_with_same_name_types	1680	1680	0
should_pass/test_contracts/context_testing_contract	4888	4888	0
should_pass/test_contracts/storage_namespace	35688	35680	0.0224164985429276
should_pass/test_contracts/increment_contract	4208	4208	0
should_pass/test_contracts/multiple_impl	1104	1104	0
should_pass/test_contracts/abi_with_tuples_contract	2816	2816	0
should_pass/test_contracts/contract_with_type_aliases	4832	4824	0.165562913907285
should_pass/test_contracts/test_fuel_coin_contract	3616	3608	0.221238938053097
should_pass/test_contracts/storage_enum_contract	19184	19184	0
should_pass/test_contracts/balance_test_contract	1280	1280	0
should_pass/evm/evm_basic	256	256	0
should_pass/blanket_impl_u16	408	408	0
should_pass/empty_fields_in_storage_struct	30456	30456	0
should_pass/forc/dependency_package_field	400	400	0
should_pass/forc/workspace_building	24	24	0
should_pass/forc/parent_pkg_manifest/contract_a	1272	1272	0
should_pass/forc/dependency_patching	400	400	0
should_pass/forc/contract_dependencies/contract_c	1272	1272	0
should_pass/forc/contract_dependencies/contract_b	1272	1272	0
should_pass/forc/contract_dependencies/contract_a	960	960	0
should_pass/conditional_compilation/run	408	408	0
should_pass/language/where_clause_functions	2048	2048	0
should_pass/language/basic_func_decl	392	392	0
should_pass/language/associated_const_trait_impl_method	424	424	0
should_pass/language/left_to_right_func_args_evaluation	424	424	0
should_pass/language/out_of_order_decl	400	400	0
should_pass/language/where_clause_traits	392	392	0
should_pass/language/references/reassigning_via_references_passed_and_returned_to_and_from_functions	46384	46384	0
should_pass/language/references/reassigning_via_references_in_aggregates	5184	5184	0
should_pass/language/references/referencing_function_parameters	4208	4208	0
should_pass/language/references/referencing_expressions	8080	8032	0.594059405940594
should_pass/language/references/references_and_type_aliases	848	848	0
should_pass/language/references/references_in_asm_blocks	2272	2272	0
should_pass/language/references/mutability_of_references	1024	1024	0
should_pass/language/references/dereferencing_operator_dot_on_tuples	149600	149600	0
should_pass/language/references/passing_and_returning_references_to_and_from_functions	16968	16968	0
should_pass/language/references/type_unification_of_references	3544	3544	0
should_pass/language/references/dereferencing_control_flow_expressions	1312	1312	0
should_pass/language/references/referencing_parts_of_aggregates	6752	6752	0
should_pass/language/references/dereferencing_operator_index	101392	101392	0
should_pass/language/references/dereferencing_operator_star	181384	181384	0
should_pass/language/references/reassigning_via_references_to_values	15048	15048	0
should_pass/language/references/referencing_references	1216	1216	0
should_pass/language/references/references_in_aggregates	4000	4000	0
should_pass/language/references/referencing_control_flow_expressions	912	912	0
should_pass/language/references/references_and_generics	3896	3896	0
should_pass/language/references/reassigning_via_references_to_expressions	40432	40432	0
should_pass/language/references/dereferencing_operator_dot_on_structs	149600	149600	0
should_pass/language/references/impl_reference_types	7928	7928	0
should_pass/language/references/referencing_local_vars_and_values	38944	38944	0
should_pass/language/integer_type_inference	1624	1624	0
should_pass/language/numeric_constants	2784	2784	0
should_pass/language/mutable_arrays_struct	408	408	0
should_pass/language/same_const_name_lib	24	24	0
should_pass/language/associated_type_iterator	2160	2160	0
should_pass/language/match_expressions_unreachable_last_arm	3160	3128	1.0126582278481
should_pass/language/multi_item_import	392	392	0
should_pass/language/ref_mutable_arrays_inline	408	408	0
should_pass/language/u256/u256_abi	896	896	0
should_pass/language/u256/u256_operators	5792	5792	0
should_pass/language/module_dep	24	24	0
should_pass/language/generic_inside_generic	496	496	0
should_pass/language/associated_const_trait_method	424	424	0
should_pass/language/struct_instantiation	2272	2224	2.11267605633803
should_pass/language/module_dep_multiple	24	24	0
should_pass/language/method_indirect_inference	672	672	0
should_pass/language/where_clause_generic_tuple	408	408	0
should_pass/language/generic_impl_self	2672	2672	0
should_pass/language/retd_struct	1008	1008	0
should_pass/language/fallback_only	2000	2000	0
should_pass/language/generic_impl_self_where	2448	2448	0
should_pass/language/chained_if_let	504	504	0
should_pass/language/test_multiple_attributes	24	24	0
should_pass/language/generic_type_inference	3608	3608	0
should_pass/language/blanket_trait	392	392	0
should_pass/language/retd_zero_len_array	264	264	0
should_pass/language/asm_expr_basic	536	536	0
should_pass/language/associated_const_impl_local_same_name	424	424	0
should_pass/language/unit_type_variants	832	832	0
should_pass/language/generic_struct	408	408	0
should_pass/language/binary_and_hex_literals	392	392	0
should_pass/language/trait_method_qualified	392	392	0
should_pass/language/ops	496	496	0
should_pass/language/duplicated_storage_keys	216	216	0
should_pass/language/type_alias_from_dependency	24	24	0
should_pass/language/generic_result_method	744	744	0
should_pass/language/tuple_field_reassignment	512	512	0
should_pass/language/associated_const_impl_self	424	424	0
should_pass/language/predicate_while	120	120	0
should_pass/language/retd_small_array	544	544	0
should_pass/language/insert_element_reg_reuse	2688	2688	0
should_pass/language/args_on_stack	1984	1984	0
should_pass/language/where_clause_methods	2104	2104	0
should_pass/language/tuple_trait	480	480	0
should_pass/language/ref_mutable_fn_args_struct_assign	408	408	0
should_pass/language/for_loops	4752	4752	0
should_pass/language/zero_field_types	408	408	0
should_pass/language/method_on_empty_struct	400	400	0
should_pass/language/largeint_sroa	864	864	0
should_pass/language/nested_while_and_if	488	488	0
should_pass/language/generic_functions	392	392	0
should_pass/language/configurable_consts	7784	7784	0
should_pass/language/associated_const_trait	688	688	0
should_pass/language/eq_intrinsic	408	408	0
should_pass/language/match_expressions_unreachable_middle_arm	3560	3496	1.79775280898876
should_pass/language/use_full_path_names	424	424	0
should_pass/language/struct_field_reassignment	400	400	0
should_pass/language/builtin_type_method_call	408	408	0
should_pass/language/far_jumps/single_blob	1049008	1049008	0
should_pass/language/far_jumps/many_blobs	11640608	11640608	0
should_pass/language/gtf_intrinsic	1120	1112	0.714285714285714
should_pass/language/diverging_exprs	1200	1200	0
should_pass/language/mut_ref_empty_type	832	832	0
should_pass/language/nested_struct_destructuring	400	400	0
should_pass/language/trait_nested	1088	1088	0
should_pass/language/many_stack_variables	1024	1024	0
should_pass/language/abort_control_flow_good	384	384	0
should_pass/language/test_attribute	24	24	0
should_pass/language/use_absolute_path	400	400	0
should_pass/language/import_with_different_callpaths	2816	2816	0
should_pass/language/raw_ptr/vec_ret	1232	1232	0
should_pass/language/where_clause_structs	672	672	0
should_pass/language/aliased_imports	424	424	0
should_pass/language/prelude_access	256	256	0
should_pass/language/slice/slice_script	688	688	0
should_pass/language/slice/slice_intrinsics	7312	7312	0
should_pass/language/slice/slice_contract	4504	4504	0
should_pass/language/match_expressions_nested	1784	1784	0
should_pass/language/b256_bitwise_ops	6880	6880	0
should_pass/language/empty_method_initializer	1136	1136	0
should_pass/language/main_args/main_args_ref	512	512	0
should_pass/language/main_args/main_args_various_types	2720	2720	0
should_pass/language/main_args/main_args_empty	408	408	0
should_pass/language/main_args/main_args_two_u64	592	592	0
should_pass/language/main_args/main_args_generics	1344	1344	0
should_pass/language/main_args/main_args_one_u64	488	488	0
should_pass/language/main_args/main_args_ref_ref	688	688	0
should_pass/language/main_args/main_args_ref_copy	624	624	0
should_pass/language/enum_padding	2072	2072	0
should_pass/language/associated_const_abi	2936	2904	1.08991825613079
should_pass/language/local_impl_for_ord	392	392	0
should_pass/language/associated_const_trait_default	1048	1048	0
should_pass/language/enum_init_fn_call	656	656	0
should_pass/language/diagnose_unknown_annotations	1616	1616	0
should_pass/language/import_method_from_other_file	768	768	0
should_pass/language/match_expressions_or	9264	8968	3.19516407599309
should_pass/language/struct_destructuring	512	512	0
should_pass/language/import_star_name_clash	2472	2448	0.970873786407767
should_pass/language/mutable_arrays_multiple_nested	400	400	0
should_pass/language/logging	4088	4080	0.195694716242661
should_pass/language/reexport/visibility	1128	1128	0
should_pass/language/reexport/multiple_imports_of_same_reexport	1864	1864	0
should_pass/language/reexport/simple_glob_import	1128	1128	0
should_pass/language/reexport/aliases	1392	1392	0
should_pass/language/reexport/shadowing_in_reexporting_module	1856	1856	0
should_pass/language/reexport/reexport_paths_external_lib	24	24	0
should_pass/language/reexport/reexport_paths	856	856	0
should_pass/language/reexport/simple_item_import	1128	1128	0
should_pass/language/asm_empty_block	24	24	0
should_pass/language/is_reference_type	392	392	0
should_pass/language/non_literal_const_decl	408	408	0
should_pass/language/array_basics	864	864	0
should_pass/language/generic_where_in_impl_self	576	576	0
should_pass/language/supertraits_with_trait_methods	472	472	0
should_pass/language/tuple_in_struct	728	728	0
should_pass/language/impl_self_method	424	424	0
should_pass/language/match_expressions_rest	1808	1800	0.442477876106195
should_pass/language/tuple_types	424	424	0
should_pass/language/impl_self_method_order	424	424	0
should_pass/language/enum_if_let	816	816	0
should_pass/language/basic_predicate	88	88	0
should_pass/language/new_allocator_test	864	864	0
should_pass/language/op_precedence	392	392	0
should_pass/language/enum_if_let_large_type	768	768	0
should_pass/language/is_prime	1192	1192	0
should_pass/language/method_unambiguous	656	656	0
should_pass/language/match_expressions_structs	488	472	3.27868852459016
should_pass/language/match_expressions_with_self	544	544	0
should_pass/language/ref_mutable_fn_args_call	408	408	0
should_pass/language/array_generics	472	472	0
should_pass/language/callpath_local_shadowing	256	256	0
should_pass/language/smo	2232	2232	0
should_pass/language/typeinfo_custom_callpath2	296	296	0
should_pass/language/where_clause_generic_traits	960	960	0
should_pass/language/mutable_arrays_enum	464	464	0
should_pass/language/ref_mutable_fn_args_bool	392	392	0
should_pass/language/supertraits	6128	6128	0
should_pass/language/const_inits	1936	1936	0
should_pass/language/tuple_access	528	528	0
should_pass/language/trait_method_generic_qualified	512	512	0
should_pass/language/associated_type_parameter	424	424	0
should_pass/language/tuple_single_element	440	440	0
should_pass/language/bool_and_or	424	424	0
should_pass/language/associated_type_fully_qualified	728	728	0
should_pass/language/associated_type_container	2072	2072	0
should_pass/language/contract_caller_dynamic_address	2264	2264	0
should_pass/language/module_dep_self	24	24	0
should_pass/language/name_resolution_after_monomorphization	424	424	0
should_pass/language/associated_type_container_in_library	2072	2072	0
should_pass/language/type_alias	4016	4016	0
should_pass/language/mutable_arrays_swap	408	408	0
should_pass/language/break_and_continue_block_ret	232	232	0
should_pass/language/main_returns_unit	256	256	0
should_pass/language/unary_not_basic_2	392	392	0
should_pass/language/mutable_and_initd	504	504	0
should_pass/language/method_type_args	256	256	0
should_pass/language/raw_identifiers	520	520	0
should_pass/language/mega_example	11312	11312	0
should_pass/language/match_expressions_constants	2328	2312	0.687285223367698
should_pass/language/generic_structs	664	664	0
should_pass/language/predicate_while_dep	120	120	0
should_pass/language/unary_not_basic	392	392	0
should_pass/language/b256_ops	4120	4120	0
should_pass/language/generic_where_in_impl_self2	576	576	0
should_pass/language/reassignment_operators	400	400	0
should_pass/language/shadowing/shadowed_glob_imports	528	528	0
should_pass/language/attributes_warnings	256	256	0
should_pass/language/mutable_arrays	408	408	0
should_pass/language/match_expressions_unreachable_catch_all_last_arm	2488	2152	13.5048231511254
should_pass/language/memcpy	552	552	0
should_pass/language/deprecated	24	24	0
should_pass/language/ret_string_in_struct	544	544	0
should_pass/language/enum_destructuring	464	464	0
should_pass/language/associated_type_and_associated_const	424	424	0
should_pass/language/associated_type_method	424	424	0
should_pass/language/implicit_casting	408	408	0
should_pass/language/where_clause_enums	824	824	0
should_pass/language/valid_impurity	1216	1216	0
should_pass/language/contract_caller_as_ret	1272	1272	0
should_pass/language/associated_type_ascription	424	424	0
should_pass/language/match_expressions_inside_generic_functions	600	600	0
should_pass/language/match_expressions_explicit_rets	392	392	0
should_pass/language/binop_intrinsics	408	408	0
should_pass/language/match_expressions_mismatched	456	456	0
should_pass/language/funcs_with_generic_types	392	392	0
should_pass/language/trait_import_with_star	256	256	0
should_pass/language/match_expressions_unreachable_catch_all_middle_arm	2296	2064	10.1045296167247
should_pass/language/if_let_no_side_effects	496	496	0
should_pass/language/b256_bad_jumps	400	400	0
should_pass/language/bitwise_not	392	392	0
should_pass/language/dummy_method_issue	536	536	0
should_pass/language/prelude_access2	256	256	0
should_pass/language/enum_in_fn_decl	480	480	0
should_pass/language/enum_type_inference	408	408	0
should_pass/language/size_of	400	400	0
should_pass/language/const_decl_and_use_in_library	408	408	0
should_pass/language/typeinfo_custom_callpath	296	296	0
should_pass/language/struct_init_reorder	352	352	0
should_pass/language/tuple_desugaring	456	448	1.75438596491228
should_pass/language/match_expressions_simple	488	488	0
should_pass/language/inline_if_expr_const	256	256	0
should_pass/language/associated_const_impl_multiple	1040	1040	0
should_pass/language/enum_variant_imports	520	520	0
should_pass/language/if_elseif_enum	832	808	2.88461538461538
should_pass/language/where_clause_impls	664	664	0
should_pass/language/generic_tuple_trait	904	904	0
should_pass/language/mutable_arrays_nested	400	400	0
should_pass/language/generic_traits	1392	1392	0
should_pass/language/associated_const_impl	424	424	0
should_pass/language/match_expressions_all	2328	2320	0.343642611683849
should_pass/language/modulo_uint_test	392	392	0
should_pass/language/implicit_return	408	408	0
should_pass/language/fqp_in_lib	368	368	0
should_pass/language/retd_b256	568	568	0
should_pass/language/generic_transpose	984	984	0
should_pass/language/asm_uninitialized_register_shadows_item	448	448	0
should_pass/language/complex_cfg	1176	1176	0
should_pass/language/struct_field_access	408	408	0
should_pass/language/redundant_return	400	400	0
should_pass/language/asm_without_return	24	24	0
should_pass/language/associated_const_abi_multiple	2224	2192	1.43884892086331
should_pass/language/while_loops	656	656	0
should_pass/language/same_const_name	320	320	0
should_pass/language/self_impl_reassignment	1008	1008	0
should_pass/language/reassignment_rhs_lhs_evaluation_order	1016	1016	0
should_pass/language/match_expressions_enums	3408	3376	0.938967136150235
should_pass/language/smo_opcode	480	480	0
should_pass/language/import_trailing_comma	408	408	0
should_pass/language/enum_instantiation	3848	3848	0
should_pass/language/trait_method_ascription_disambiguate	512	512	0
should_pass/language/eq_and_neq	2288	2288	0
should_pass/language/string_slice/string_slice_features	488	488	0
should_pass/language/string_slice/string_slice_script	768	768	0
should_pass/language/string_slice/string_slice_contract	4064	4064	0
should_pass/language/tuple_indexing	424	424	0
should_pass/language/ref_mutable_fn_args_struct	408	408	0
should_pass/language/revert_in_first_if_branch	240	240	0
should_pass/language/ref_mutable_arrays	408	408	0
should_pass/language/nested_structs	1176	1176	0
should_pass/language/typeinfo_custom_callpath_with_import	312	312	0
should_pass/language/multi_impl_self	408	408	0
should_pass/language/generic_struct_instantiation	400	400	0
should_pass/language/generic_trait_constraints	1224	1224	0
should_pass/language/primitive_type_argument	408	408	0
should_pass/language/fix_opcode_bug	408	408	0
should_pass/language/arg_demotion_inline	1472	1472	0
should_pass/language/ret_small_string	504	504	0
should_pass/language/doc_comments	1280	1280	0
should_pass/language/match_expressions_empty_enums	408	408	0
should_pass/language/const_decl_in_library	416	416	0
should_pass/language/generics_in_contract	3664	3664	0
should_pass/language/if_implicit_unit	256	256	0
should_pass/language/impure_ifs	1192	1192	0
should_pass/language/break_and_continue	968	968	0
should_pass/language/ref_mutable_fn_args_u32	424	424	0
should_pass/language/contract_implements_multiple_abis_with_same_methods	2208	2176	1.44927536231884
should_pass/storage_into	1976	1976	0
should_pass/resolve_local_items_that_shadow_imports	400	400	0
should_pass/break_in_strange_positions	888	888	0
should_pass/impl_self_dependency_order_conflict	560	560	0
should_pass/multiple_supertraits_for_abis	872	872	0
should_pass/continue_in_strange_positions	1448	1448	0
should_pass/supertraits_for_abis_diamond	664	664	0
should_pass/superabi_diamond	1224	1224	0
should_pass/supertraits_via_self	216	216	0
should_pass/supertraits_for_abis	944	944	0
should_pass/dca/alias_type_ascription	256	256	0
should_pass/dca/alias_type_ascription_generic	256	256	0
should_pass/dca/constant_decl_expr	408	408	0
should_pass/dca/impl_unused_fn	424	424	0
should_pass/dca/log_stdlib	936	936	0
should_pass/dca/unused_trait	256	256	0
should_pass/dca/impl_self_alias	256	256	0
should_pass/dca/impl_trait_single	400	400	0
should_pass/dca/trait_method	256	256	0
should_pass/dca/unused_free_fn	256	256	0
should_pass/dca/unused_variable_in_free_fn	256	256	0
should_pass/dca/revert	400	400	0
should_pass/dca/unused_variable	256	256	0
should_pass/dca/impl_trait_multiple	400	400	0
should_pass/dca/contract/superabi_contract_calls	2376	2376	0
should_pass/dca/contract/unused_struct_field	1488	1488	0
should_pass/dca/contract/unused_struct_field_enum	1800	1800	0
should_pass/dca/contract/abi_fn_params	1384	1384	0
should_pass/dca/contract/unused_struct_field_array	1568	1568	0
should_pass/dca/contract/unused_struct_field_tuple	1488	1488	0
should_pass/dca/unused_struct	256	256	0
should_pass/dca/func_param	256	256	0
should_pass/dca/alias_unused	256	256	0
should_pass/dca/multiple_fns_same_name	256	256	0
should_pass/dca/allow_dead_code	256	256	0
should_pass/dca/trait_method_neq	480	480	0
should_pass/dca/all_paths_return	400	400	0
should_pass/dca/unused_fields	400	400	0
should_pass/dca/impl_self_alias2	256	256	0
should_pass/dca/alias_lib	304	288	5.26315789473684
should_pass/dca/multiple_enums_same_name	256	256	0
should_pass/dca/generic_fn_trait_constraint	256	256	0
should_pass/dca/library/fn_params_impl	24	24	0
should_pass/dca/library/fn_params_free	24	24	0
should_pass/dca/library/unused_priv_free_fn	24	24	0
should_pass/dca/library/unused_pub_free_fn	24	24	0
should_pass/dca/library/fn_params_trait	24	24	0
should_pass/dca/reassignment_lhs	288	288	0
should_pass/dca/constant_while	256	256	0
should_pass/dca/constant_struct	408	408	0
should_pass/dca/unused_enum	256	256	0
should_pass/dca/impl_self	256	256	0
should_pass/dca/log_intrinsic	936	936	0
should_pass/dca/struct_field_no_warning	520	520	0
should_pass/dca/trait_method_lib	24	24	0
should_pass/supertraits_for_abis_ownable	4864	4856	0.164473684210526
should_pass/return_into	1112	1112	0
should_pass/unit_tests/script_multi_test	1048	1048	0
should_pass/unit_tests/nested_libs	1520	1520	0
should_pass/unit_tests/contract_multi_test	4480	4480	0
should_pass/unit_tests/memcpyopt	1456	1456	0
should_pass/unit_tests/script-contract-calls	1696	1696	0
should_pass/unit_tests/lib_single_test	88	88	0
should_pass/unit_tests/aggr_indexing	8088	8088	0
should_pass/unit_tests/log_decode	992	992	0
should_pass/unit_tests/workspace_test	1048	1048	0
should_pass/unit_tests/predicate_with_nested_libs	704	704	0
should_pass/unit_tests/script_with_nested_libs	1728	1728	0
should_pass/unit_tests/should_revert	160	160	0
should_pass/unit_tests/contract_with_nested_libs	2568	2536	1.24610591900312
should_pass/unit_tests/stack_indexing_overflow	5392	5392	0
should_pass/unit_tests/lib_multi_test	784	784	0
should_pass/unit_tests/contract-multi-contract-calls	1696	1696	0
should_pass/unit_tests/predicate_multi_test	288	288	0
should_pass/unit_tests/regalloc_spill	784	784	0
should_pass/non_payable_implicit_zero_coins	2440	2440	0
should_pass/test_abis/abi_impl_methods_in_json_abi	960	960	0
should_pass/test_abis/abi_impl_methods_callable	3496	3464	0.91533180778032
should_pass/static_analysis/cei_pattern_violation_in_struct	3328	3328	0
should_pass/static_analysis/cei_pattern_violation	3104	3104	0
should_pass/static_analysis/cei_pattern_violation_in_match_statement-1	3768	3752	0.424628450106157
should_pass/static_analysis/cei_pattern_violation_in_if_statement-2	3296	3296	0
should_pass/static_analysis/cei_pattern_violation_in_while_loop-1	3288	3288	0
should_pass/static_analysis/cei_pattern_violation_in_while_loop-3	3288	3288	0
should_pass/static_analysis/cei_pattern_violation_storage_var_read	3616	3616	0
should_pass/static_analysis/cei_pattern_violation_in_codeblocks_other_than_in_functions	3312	3312	0
should_pass/static_analysis/cei_pattern_violation_in_func_app-3	3296	3296	0
should_pass/static_analysis/cei_pattern_violation_in_func_app-1	3296	3296	0
should_pass/static_analysis/storage_annotations_unused_write	1272	1272	0
should_pass/static_analysis/cei_pattern_violation_in_asm_block_smo	2568	2568	0
should_pass/static_analysis/cei_pattern_violation_in_asm_block	2592	2592	0
should_pass/static_analysis/cei_pattern_violation_in_intrinsic_call	3296	3296	0
should_pass/static_analysis/storage_annotations_unused_read	1272	1272	0
should_pass/static_analysis/cei_pattern_violation_storage_map_and_vec	9584	9576	0.0834724540901503
should_pass/static_analysis/cei_pattern_violation_in_asm_block_tro	4696	4688	0.170357751277683
should_pass/static_analysis/cei_pattern_violation_in_while_loop-2	3272	3272	0
should_pass/static_analysis/cei_pattern_violation_smo_intrinsic	2664	2664	0
should_pass/static_analysis/storage_annotations_unused_read_and_write	1272	1272	0
should_pass/static_analysis/cei_pattern_violation_in_standalone_function	3104	3104	0
should_pass/static_analysis/cei_pattern_violation_in_asm_block_read	2984	2984	0
should_pass/static_analysis/cei_pattern_violation_in_asm_block_mint_burn	3112	3112	0
should_pass/static_analysis/cei_pattern_violation_in_while_loop-4	3272	3272	0
should_pass/static_analysis/cei_pattern_violation_in_asm_block_tr	4696	4688	0.170357751277683
should_pass/static_analysis/cei_pattern_violation_in_tuple	3328	3328	0
should_pass/static_analysis/cei_pattern_violation_in_asm_block_bal	2544	2544	0
should_pass/static_analysis/cei_pattern_violation_more_complex_logic	18440	18424	0.086767895878525
should_pass/static_analysis/cei_pattern_violation_storage_struct_read	3344	3344	0
should_pass/static_analysis/cei_pattern_violation_storage_var_update	3184	3184	0
should_pass/static_analysis/cei_pattern_violation_in_if_statement-1	3320	3320	0
should_pass/static_analysis/cei_pattern_violation_in_func_app-2	3296	3296	0
should_pass/superabi	960	960	0
should_pass/superabi_supertrait_external_call	216	216	0
should_pass/non_payable_zero_coins_let_binding	2440	2440	0
should_pass/superabi_diamond_impl	1224	1224	0