diff --git a/language/functional_tests/tests/testsuite/builtins/move_published_resource.mvir b/language/functional_tests/tests/testsuite/builtins/move_published_resource.mvir
diff --git a/language/functional_tests/tests/testsuite/builtins/release.mvir b/language/functional_tests/tests/testsuite/builtins/release.mvir
diff --git a/language/functional_tests/tests/testsuite/builtins/verify_valid_bytearray.mvir b/language/functional_tests/tests/testsuite/builtins/verify_valid_bytearray.mvir
diff --git a/language/functional_tests/tests/testsuite/commands/assign_copy.mvir b/language/functional_tests/tests/testsuite/commands/assign_copy.mvir
diff --git a/language/functional_tests/tests/testsuite/commands/assign_in_one_if_branch.mvir b/language/functional_tests/tests/testsuite/commands/assign_in_one_if_branch.mvir
diff --git a/language/functional_tests/tests/testsuite/commands/assign_move.mvir b/language/functional_tests/tests/testsuite/commands/assign_move.mvir
diff --git a/language/functional_tests/tests/testsuite/commands/assign_resource.mvir b/language/functional_tests/tests/testsuite/commands/assign_resource.mvir
diff --git a/language/functional_tests/tests/testsuite/commands/assign_wrong_if_branch.mvir b/language/functional_tests/tests/testsuite/commands/assign_wrong_if_branch.mvir
diff --git a/language/functional_tests/tests/testsuite/commands/assign_wrong_if_branch_no_else.mvir b/language/functional_tests/tests/testsuite/commands/assign_wrong_if_branch_no_else.mvir
diff --git a/language/functional_tests/tests/testsuite/commands/assign_wrong_type.mvir b/language/functional_tests/tests/testsuite/commands/assign_wrong_type.mvir
diff --git a/language/functional_tests/tests/testsuite/commands/branch_assigns_then_moves.mvir b/language/functional_tests/tests/testsuite/commands/branch_assigns_then_moves.mvir
diff --git a/...age/functional_tests/tests/testsuite/commands/branch_assigns_then_moves_then_assigns.mvir b/...age/functional_tests/tests/testsuite/commands/branch_assigns_then_moves_then_assigns.mvir
diff --git a/language/functional_tests/tests/testsuite/commands/break_accumulator.mvir b/language/functional_tests/tests/testsuite/commands/break_accumulator.mvir
diff --git a/language/functional_tests/tests/testsuite/commands/break_continue_simple.mvir b/language/functional_tests/tests/testsuite/commands/break_continue_simple.mvir
diff --git a/language/functional_tests/tests/testsuite/commands/break_continue_sum_of_odds.mvir b/language/functional_tests/tests/testsuite/commands/break_continue_sum_of_odds.mvir
diff --git a/language/functional_tests/tests/testsuite/commands/break_nested.mvir b/language/functional_tests/tests/testsuite/commands/break_nested.mvir
diff --git a/language/functional_tests/tests/testsuite/commands/break_outside_loop.mvir b/language/functional_tests/tests/testsuite/commands/break_outside_loop.mvir
diff --git a/language/functional_tests/tests/testsuite/commands/break_outside_loop_in_else.mvir b/language/functional_tests/tests/testsuite/commands/break_outside_loop_in_else.mvir
diff --git a/language/functional_tests/tests/testsuite/commands/break_outside_loop_in_if.mvir b/language/functional_tests/tests/testsuite/commands/break_outside_loop_in_if.mvir
diff --git a/language/functional_tests/tests/testsuite/commands/break_simple.mvir b/language/functional_tests/tests/testsuite/commands/break_simple.mvir
diff --git a/language/functional_tests/tests/testsuite/commands/break_unreachable.mvir b/language/functional_tests/tests/testsuite/commands/break_unreachable.mvir
diff --git a/language/functional_tests/tests/testsuite/commands/continue_outside_loop.mvir b/language/functional_tests/tests/testsuite/commands/continue_outside_loop.mvir
diff --git a/language/functional_tests/tests/testsuite/commands/continue_outside_loop_in_if.mvir b/language/functional_tests/tests/testsuite/commands/continue_outside_loop_in_if.mvir
diff --git a/language/functional_tests/tests/testsuite/commands/dead_return.mvir b/language/functional_tests/tests/testsuite/commands/dead_return.mvir
diff --git a/language/functional_tests/tests/testsuite/commands/dead_return_local.mvir b/language/functional_tests/tests/testsuite/commands/dead_return_local.mvir
diff --git a/language/functional_tests/tests/testsuite/commands/deep_return_branch_doesnt_assign.mvir b/language/functional_tests/tests/testsuite/commands/deep_return_branch_doesnt_assign.mvir
diff --git a/language/functional_tests/tests/testsuite/commands/else_assigns_if_doesnt.mvir b/language/functional_tests/tests/testsuite/commands/else_assigns_if_doesnt.mvir
diff --git a/language/functional_tests/tests/testsuite/commands/else_moves_if_doesnt.mvir b/language/functional_tests/tests/testsuite/commands/else_moves_if_doesnt.mvir
diff --git a/language/functional_tests/tests/testsuite/commands/if_assigns_else_doesnt.mvir b/language/functional_tests/tests/testsuite/commands/if_assigns_else_doesnt.mvir
diff --git a/language/functional_tests/tests/testsuite/commands/if_assigns_no_else.mvir b/language/functional_tests/tests/testsuite/commands/if_assigns_no_else.mvir
diff --git a/language/functional_tests/tests/testsuite/commands/if_branch_diverges_1.mvir b/language/functional_tests/tests/testsuite/commands/if_branch_diverges_1.mvir
diff --git a/language/functional_tests/tests/testsuite/commands/if_branch_diverges_10.mvir b/language/functional_tests/tests/testsuite/commands/if_branch_diverges_10.mvir
diff --git a/language/functional_tests/tests/testsuite/commands/if_branch_diverges_2.mvir b/language/functional_tests/tests/testsuite/commands/if_branch_diverges_2.mvir
diff --git a/language/functional_tests/tests/testsuite/commands/if_branch_diverges_3.mvir b/language/functional_tests/tests/testsuite/commands/if_branch_diverges_3.mvir
diff --git a/language/functional_tests/tests/testsuite/commands/if_branch_diverges_4.mvir b/language/functional_tests/tests/testsuite/commands/if_branch_diverges_4.mvir
diff --git a/language/functional_tests/tests/testsuite/commands/if_branch_diverges_5.mvir b/language/functional_tests/tests/testsuite/commands/if_branch_diverges_5.mvir
diff --git a/language/functional_tests/tests/testsuite/commands/if_branch_diverges_6.mvir b/language/functional_tests/tests/testsuite/commands/if_branch_diverges_6.mvir
diff --git a/language/functional_tests/tests/testsuite/commands/if_branch_diverges_7.mvir b/language/functional_tests/tests/testsuite/commands/if_branch_diverges_7.mvir
diff --git a/language/functional_tests/tests/testsuite/commands/if_branch_diverges_8.mvir b/language/functional_tests/tests/testsuite/commands/if_branch_diverges_8.mvir
diff --git a/language/functional_tests/tests/testsuite/commands/if_branch_diverges_9.mvir b/language/functional_tests/tests/testsuite/commands/if_branch_diverges_9.mvir
diff --git a/language/functional_tests/tests/testsuite/commands/if_moves_else_doesnt.mvir b/language/functional_tests/tests/testsuite/commands/if_moves_else_doesnt.mvir
diff --git a/language/functional_tests/tests/testsuite/commands/if_moves_no_else.mvir b/language/functional_tests/tests/testsuite/commands/if_moves_no_else.mvir
diff --git a/language/functional_tests/tests/testsuite/commands/if_without_braces_1.mvir b/language/functional_tests/tests/testsuite/commands/if_without_braces_1.mvir
diff --git a/language/functional_tests/tests/testsuite/commands/if_without_braces_2.mvir b/language/functional_tests/tests/testsuite/commands/if_without_braces_2.mvir
diff --git a/language/functional_tests/tests/testsuite/commands/if_without_braces_3.mvir b/language/functional_tests/tests/testsuite/commands/if_without_braces_3.mvir
diff --git a/language/functional_tests/tests/testsuite/commands/if_without_braces_4.mvir b/language/functional_tests/tests/testsuite/commands/if_without_braces_4.mvir
diff --git a/language/functional_tests/tests/testsuite/commands/local_assigned_many_times.mvir b/language/functional_tests/tests/testsuite/commands/local_assigned_many_times.mvir
diff --git a/language/functional_tests/tests/testsuite/commands/loop_nested_breaks.mvir b/language/functional_tests/tests/testsuite/commands/loop_nested_breaks.mvir
diff --git a/language/functional_tests/tests/testsuite/commands/loop_return.mvir b/language/functional_tests/tests/testsuite/commands/loop_return.mvir
diff --git a/language/functional_tests/tests/testsuite/commands/loop_simple.mvir b/language/functional_tests/tests/testsuite/commands/loop_simple.mvir
diff --git a/language/functional_tests/tests/testsuite/commands/move_before_assign.mvir b/language/functional_tests/tests/testsuite/commands/move_before_assign.mvir
diff --git a/language/functional_tests/tests/testsuite/commands/no_let_outside_if.mvir b/language/functional_tests/tests/testsuite/commands/no_let_outside_if.mvir
diff --git a/language/functional_tests/tests/testsuite/commands/no_rebind.mvir b/language/functional_tests/tests/testsuite/commands/no_rebind.mvir
diff --git a/language/functional_tests/tests/testsuite/commands/return_branch_doesnt_assign.mvir b/language/functional_tests/tests/testsuite/commands/return_branch_doesnt_assign.mvir
diff --git a/language/functional_tests/tests/testsuite/commands/return_branch_moves.mvir b/language/functional_tests/tests/testsuite/commands/return_branch_moves.mvir
diff --git a/language/functional_tests/tests/testsuite/commands/return_in_if_branch_taken.mvir b/language/functional_tests/tests/testsuite/commands/return_in_if_branch_taken.mvir
diff --git a/language/functional_tests/tests/testsuite/commands/return_in_if_branch_taken_local.mvir b/language/functional_tests/tests/testsuite/commands/return_in_if_branch_taken_local.mvir
diff --git a/language/functional_tests/tests/testsuite/commands/return_in_if_branch_taken_no_else.mvir b/language/functional_tests/tests/testsuite/commands/return_in_if_branch_taken_no_else.mvir
diff --git a/language/functional_tests/tests/testsuite/commands/unpack_extra_binding.mvir b/language/functional_tests/tests/testsuite/commands/unpack_extra_binding.mvir
diff --git a/language/functional_tests/tests/testsuite/commands/unpack_missing_binding.mvir b/language/functional_tests/tests/testsuite/commands/unpack_missing_binding.mvir
diff --git a/language/functional_tests/tests/testsuite/commands/unpack_resource.mvir b/language/functional_tests/tests/testsuite/commands/unpack_resource.mvir
diff --git a/language/functional_tests/tests/testsuite/commands/unpack_top_level.mvir b/language/functional_tests/tests/testsuite/commands/unpack_top_level.mvir
diff --git a/language/functional_tests/tests/testsuite/commands/unpack_wrong_type.mvir b/language/functional_tests/tests/testsuite/commands/unpack_wrong_type.mvir
diff --git a/language/functional_tests/tests/testsuite/commands/use_before_assign.mvir b/language/functional_tests/tests/testsuite/commands/use_before_assign.mvir
diff --git a/language/functional_tests/tests/testsuite/commands/while_false.mvir b/language/functional_tests/tests/testsuite/commands/while_false.mvir
diff --git a/language/functional_tests/tests/testsuite/commands/while_move_local.mvir b/language/functional_tests/tests/testsuite/commands/while_move_local.mvir
diff --git a/language/functional_tests/tests/testsuite/commands/while_move_local_2.mvir b/language/functional_tests/tests/testsuite/commands/while_move_local_2.mvir
diff --git a/language/functional_tests/tests/testsuite/commands/while_nested.mvir b/language/functional_tests/tests/testsuite/commands/while_nested.mvir
diff --git a/language/functional_tests/tests/testsuite/commands/while_nested_return.mvir b/language/functional_tests/tests/testsuite/commands/while_nested_return.mvir
diff --git a/language/functional_tests/tests/testsuite/commands/while_return.mvir b/language/functional_tests/tests/testsuite/commands/while_return.mvir
diff --git a/language/functional_tests/tests/testsuite/commands/while_simple.mvir b/language/functional_tests/tests/testsuite/commands/while_simple.mvir
diff --git a/...l_tests/tests/testsuite/comments/multi_line_comment_commented_by_single_line_comment.mvir b/...l_tests/tests/testsuite/comments/multi_line_comment_commented_by_single_line_comment.mvir
diff --git a/language/functional_tests/tests/testsuite/comments/multiple_single_line_comments_mixed.mvir b/language/functional_tests/tests/testsuite/comments/multiple_single_line_comments_mixed.mvir
diff --git a/...age/functional_tests/tests/testsuite/comments/multiple_single_line_comments_own_line.mvir b/...age/functional_tests/tests/testsuite/comments/multiple_single_line_comments_own_line.mvir
diff --git a/language/functional_tests/tests/testsuite/comments/single_line_comment_line.mvir b/language/functional_tests/tests/testsuite/comments/single_line_comment_line.mvir
diff --git a/language/functional_tests/tests/testsuite/comments/single_line_comment_own_line.mvir b/language/functional_tests/tests/testsuite/comments/single_line_comment_own_line.mvir
diff --git a/language/functional_tests/tests/testsuite/data_types/empty_structs.mvir b/language/functional_tests/tests/testsuite/data_types/empty_structs.mvir
diff --git a/language/functional_tests/tests/testsuite/dereference_tests/deref_borrow_field_ok.mvir b/language/functional_tests/tests/testsuite/dereference_tests/deref_borrow_field_ok.mvir
diff --git a/language/functional_tests/tests/testsuite/dereference_tests/deref_borrow_local_ok.mvir b/language/functional_tests/tests/testsuite/dereference_tests/deref_borrow_local_ok.mvir
diff --git a/language/functional_tests/tests/testsuite/dereference_tests/deref_copy_bad.mvir b/language/functional_tests/tests/testsuite/dereference_tests/deref_copy_bad.mvir
diff --git a/language/functional_tests/tests/testsuite/dereference_tests/deref_move_module_ok.mvir b/language/functional_tests/tests/testsuite/dereference_tests/deref_move_module_ok.mvir
diff --git a/language/functional_tests/tests/testsuite/dereference_tests/deref_move_ok.mvir b/language/functional_tests/tests/testsuite/dereference_tests/deref_move_ok.mvir
diff --git a/language/functional_tests/tests/testsuite/dereference_tests/deref_non_reference.mvir b/language/functional_tests/tests/testsuite/dereference_tests/deref_non_reference.mvir
diff --git a/language/functional_tests/tests/testsuite/dereference_tests/deref_not_reference_bad.mvir b/language/functional_tests/tests/testsuite/dereference_tests/deref_not_reference_bad.mvir
diff --git a/language/functional_tests/tests/testsuite/dereference_tests/deref_parens_ok.mvir b/language/functional_tests/tests/testsuite/dereference_tests/deref_parens_ok.mvir
diff --git a/language/functional_tests/tests/testsuite/examples/multiple_stages.mvir b/language/functional_tests/tests/testsuite/examples/multiple_stages.mvir
diff --git a/language/functional_tests/tests/testsuite/examples/no_execute.mvir b/language/functional_tests/tests/testsuite/examples/no_execute.mvir
diff --git a/language/functional_tests/tests/testsuite/examples/script.mvir b/language/functional_tests/tests/testsuite/examples/script.mvir
diff --git a/language/functional_tests/tests/testsuite/examples/script_with_module.mvir b/language/functional_tests/tests/testsuite/examples/script_with_module.mvir
diff --git a/language/functional_tests/tests/testsuite/examples/simple.mvir b/language/functional_tests/tests/testsuite/examples/simple.mvir
diff --git a/language/functional_tests/tests/testsuite/expressions/address_equality.mvir b/language/functional_tests/tests/testsuite/expressions/address_equality.mvir
diff --git a/language/functional_tests/tests/testsuite/expressions/cant_borrow_field_of_resource.mvir b/language/functional_tests/tests/testsuite/expressions/cant_borrow_field_of_resource.mvir
diff --git a/language/functional_tests/tests/testsuite/expressions/cant_deref_resource.mvir b/language/functional_tests/tests/testsuite/expressions/cant_deref_resource.mvir
diff --git a/language/functional_tests/tests/testsuite/expressions/deref_value.mvir b/language/functional_tests/tests/testsuite/expressions/deref_value.mvir
diff --git a/language/functional_tests/tests/testsuite/expressions/deref_value_nested.mvir b/language/functional_tests/tests/testsuite/expressions/deref_value_nested.mvir
diff --git a/language/functional_tests/tests/testsuite/expressions/multiple_return_values.mvir b/language/functional_tests/tests/testsuite/expressions/multiple_return_values.mvir
diff --git a/...ge/functional_tests/tests/testsuite/expressions/multiple_return_values_extra_binding.mvir b/...ge/functional_tests/tests/testsuite/expressions/multiple_return_values_extra_binding.mvir
diff --git a/...uage/functional_tests/tests/testsuite/expressions/multiple_return_values_extra_value.mvir b/...uage/functional_tests/tests/testsuite/expressions/multiple_return_values_extra_value.mvir
diff --git a/.../functional_tests/tests/testsuite/expressions/multiple_return_values_missing_binding.mvir b/.../functional_tests/tests/testsuite/expressions/multiple_return_values_missing_binding.mvir
diff --git a/...ge/functional_tests/tests/testsuite/expressions/multiple_return_values_missing_value.mvir b/...ge/functional_tests/tests/testsuite/expressions/multiple_return_values_missing_value.mvir
diff --git a/language/functional_tests/tests/testsuite/failure/failure_rollover.mvir b/language/functional_tests/tests/testsuite/failure/failure_rollover.mvir
diff --git a/language/functional_tests/tests/testsuite/global_ref_count/decrement_dereference.mvir b/language/functional_tests/tests/testsuite/global_ref_count/decrement_dereference.mvir
diff --git a/language/functional_tests/tests/testsuite/global_ref_count/decrement_emit_event.mvir b/language/functional_tests/tests/testsuite/global_ref_count/decrement_emit_event.mvir
diff --git a/language/functional_tests/tests/testsuite/global_ref_count/decrement_write.mvir b/language/functional_tests/tests/testsuite/global_ref_count/decrement_write.mvir
diff --git a/...ge/functional_tests/tests/testsuite/method_decorators/internal_function_invalid_call.mvir b/...ge/functional_tests/tests/testsuite/method_decorators/internal_function_invalid_call.mvir
diff --git a/.../functional_tests/tests/testsuite/method_decorators/non_internal_function_valid_call.mvir b/.../functional_tests/tests/testsuite/method_decorators/non_internal_function_valid_call.mvir
diff --git a/language/functional_tests/tests/testsuite/module_member_types/field_reads.mvir b/language/functional_tests/tests/testsuite/module_member_types/field_reads.mvir
diff --git a/language/functional_tests/tests/testsuite/module_member_types/field_writes.mvir b/language/functional_tests/tests/testsuite/module_member_types/field_writes.mvir
diff --git a/language/functional_tests/tests/testsuite/module_member_types/invalid_field_write.mvir b/language/functional_tests/tests/testsuite/module_member_types/invalid_field_write.mvir
diff --git a/language/functional_tests/tests/testsuite/module_member_types/invalid_resource_write.mvir b/language/functional_tests/tests/testsuite/module_member_types/invalid_resource_write.mvir
diff --git a/language/functional_tests/tests/testsuite/module_member_types/procedure_args.mvir b/language/functional_tests/tests/testsuite/module_member_types/procedure_args.mvir
diff --git a/language/functional_tests/tests/testsuite/module_member_types/procedure_args_subtype.mvir b/language/functional_tests/tests/testsuite/module_member_types/procedure_args_subtype.mvir
diff --git a/...unctional_tests/tests/testsuite/module_member_types/procedure_return_invalid_subtype.mvir b/...unctional_tests/tests/testsuite/module_member_types/procedure_return_invalid_subtype.mvir
diff --git a/...e/functional_tests/tests/testsuite/module_member_types/procedure_return_invalid_type.mvir b/...e/functional_tests/tests/testsuite/module_member_types/procedure_return_invalid_type.mvir
diff --git a/...age/functional_tests/tests/testsuite/module_member_types/resource_has_resource_field.mvir b/...age/functional_tests/tests/testsuite/module_member_types/resource_has_resource_field.mvir
diff --git a/...e/functional_tests/tests/testsuite/module_member_types/resource_instantiate_bad_type.mvir b/...e/functional_tests/tests/testsuite/module_member_types/resource_instantiate_bad_type.mvir
diff --git a/...functional_tests/tests/testsuite/module_member_types/unrestricted_has_resource_field.mvir b/...functional_tests/tests/testsuite/module_member_types/unrestricted_has_resource_field.mvir
diff --git a/language/functional_tests/tests/testsuite/module_member_types/unrestricted_instantiate.mvir b/language/functional_tests/tests/testsuite/module_member_types/unrestricted_instantiate.mvir
diff --git a/...nctional_tests/tests/testsuite/module_member_types/unrestricted_instantiate_bad_type.mvir b/...nctional_tests/tests/testsuite/module_member_types/unrestricted_instantiate_bad_type.mvir
diff --git a/language/functional_tests/tests/testsuite/modules/access_private_function.mvir b/language/functional_tests/tests/testsuite/modules/access_private_function.mvir
diff --git a/language/functional_tests/tests/testsuite/modules/access_public_function.mvir b/language/functional_tests/tests/testsuite/modules/access_public_function.mvir
diff --git a/language/functional_tests/tests/testsuite/modules/all_fields_accessible.mvir b/language/functional_tests/tests/testsuite/modules/all_fields_accessible.mvir
diff --git a/language/functional_tests/tests/testsuite/modules/duplicate_function_name.mvir b/language/functional_tests/tests/testsuite/modules/duplicate_function_name.mvir
diff --git a/language/functional_tests/tests/testsuite/modules/duplicate_struct_name.mvir b/language/functional_tests/tests/testsuite/modules/duplicate_struct_name.mvir
diff --git a/language/functional_tests/tests/testsuite/modules/function_in_struct.mvir b/language/functional_tests/tests/testsuite/modules/function_in_struct.mvir
diff --git a/language/functional_tests/tests/testsuite/modules/get_resource_internal.mvir b/language/functional_tests/tests/testsuite/modules/get_resource_internal.mvir
diff --git a/language/functional_tests/tests/testsuite/modules/get_resource_internal_bypass.mvir b/language/functional_tests/tests/testsuite/modules/get_resource_internal_bypass.mvir
diff --git a/language/functional_tests/tests/testsuite/modules/has_resource_internal.mvir b/language/functional_tests/tests/testsuite/modules/has_resource_internal.mvir
diff --git a/language/functional_tests/tests/testsuite/modules/module_struct_shared_name.mvir b/language/functional_tests/tests/testsuite/modules/module_struct_shared_name.mvir
diff --git a/language/functional_tests/tests/testsuite/modules/modules_not_a_type.mvir b/language/functional_tests/tests/testsuite/modules/modules_not_a_type.mvir
diff --git a/language/functional_tests/tests/testsuite/modules/mutual_recursive_struct.mvir b/language/functional_tests/tests/testsuite/modules/mutual_recursive_struct.mvir
diff --git a/language/functional_tests/tests/testsuite/modules/publish_resource_internal.mvir b/language/functional_tests/tests/testsuite/modules/publish_resource_internal.mvir
diff --git a/...functional_tests/tests/testsuite/move_getting_started_examples/create_account_script.mvir b/...functional_tests/tests/testsuite/move_getting_started_examples/create_account_script.mvir
diff --git a/language/functional_tests/tests/testsuite/move_getting_started_examples/earmarked_libra.mvir b/language/functional_tests/tests/testsuite/move_getting_started_examples/earmarked_libra.mvir
diff --git a/...e/functional_tests/tests/testsuite/move_getting_started_examples/extended_p2p_script.mvir b/...e/functional_tests/tests/testsuite/move_getting_started_examples/extended_p2p_script.mvir
diff --git a/.../functional_tests/tests/testsuite/move_getting_started_examples/multi_payment_script.mvir b/.../functional_tests/tests/testsuite/move_getting_started_examples/multi_payment_script.mvir
diff --git a/language/functional_tests/tests/testsuite/mutate_tests/mutate_borrow_field_ok.mvir b/language/functional_tests/tests/testsuite/mutate_tests/mutate_borrow_field_ok.mvir
diff --git a/language/functional_tests/tests/testsuite/mutate_tests/mutate_borrow_local_ok.mvir b/language/functional_tests/tests/testsuite/mutate_tests/mutate_borrow_local_ok.mvir
diff --git a/language/functional_tests/tests/testsuite/mutate_tests/mutate_copy_ok.mvir b/language/functional_tests/tests/testsuite/mutate_tests/mutate_copy_ok.mvir
diff --git a/language/functional_tests/tests/testsuite/mutate_tests/mutate_move_ok.mvir b/language/functional_tests/tests/testsuite/mutate_tests/mutate_move_ok.mvir
diff --git a/language/functional_tests/tests/testsuite/mutate_tests/mutate_parens_ok.mvir b/language/functional_tests/tests/testsuite/mutate_tests/mutate_parens_ok.mvir
diff --git a/language/functional_tests/tests/testsuite/mutate_tests/two_mutable_ref.mvir b/language/functional_tests/tests/testsuite/mutate_tests/two_mutable_ref.mvir
diff --git a/language/functional_tests/tests/testsuite/mutation/assign_field_after_local.mvir b/language/functional_tests/tests/testsuite/mutation/assign_field_after_local.mvir
diff --git a/language/functional_tests/tests/testsuite/mutation/assign_local_after_move.mvir b/language/functional_tests/tests/testsuite/mutation/assign_local_after_move.mvir
diff --git a/language/functional_tests/tests/testsuite/mutation/assign_local_resource.mvir b/language/functional_tests/tests/testsuite/mutation/assign_local_resource.mvir
diff --git a/language/functional_tests/tests/testsuite/mutation/assign_local_resource_twice.mvir b/language/functional_tests/tests/testsuite/mutation/assign_local_resource_twice.mvir
diff --git a/language/functional_tests/tests/testsuite/mutation/assign_local_struct.mvir b/language/functional_tests/tests/testsuite/mutation/assign_local_struct.mvir
diff --git a/language/functional_tests/tests/testsuite/mutation/assign_local_struct_invalidated.mvir b/language/functional_tests/tests/testsuite/mutation/assign_local_struct_invalidated.mvir
diff --git a/language/functional_tests/tests/testsuite/mutation/assign_local_value.mvir b/language/functional_tests/tests/testsuite/mutation/assign_local_value.mvir
diff --git a/language/functional_tests/tests/testsuite/mutation/assign_resource_type.mvir b/language/functional_tests/tests/testsuite/mutation/assign_resource_type.mvir
diff --git a/language/functional_tests/tests/testsuite/mutation/assign_struct_field.mvir b/language/functional_tests/tests/testsuite/mutation/assign_struct_field.mvir
diff --git a/language/functional_tests/tests/testsuite/mutation/destroy_resource_holder.mvir b/language/functional_tests/tests/testsuite/mutation/destroy_resource_holder.mvir
diff --git a/language/functional_tests/tests/testsuite/mutation/mint_money.mvir b/language/functional_tests/tests/testsuite/mutation/mint_money.mvir
diff --git a/language/functional_tests/tests/testsuite/mutation/mut_borrow_from_imm_ref.mvir b/language/functional_tests/tests/testsuite/mutation/mut_borrow_from_imm_ref.mvir
diff --git a/language/functional_tests/tests/testsuite/mutation/mut_call_from_get_resource.mvir b/language/functional_tests/tests/testsuite/mutation/mut_call_from_get_resource.mvir
diff --git a/language/functional_tests/tests/testsuite/mutation/mut_call_with_imm_ref.mvir b/language/functional_tests/tests/testsuite/mutation/mut_call_with_imm_ref.mvir
diff --git a/language/functional_tests/tests/testsuite/mutation/mutate_resource_holder.mvir b/language/functional_tests/tests/testsuite/mutation/mutate_resource_holder.mvir
diff --git a/language/functional_tests/tests/testsuite/mutation/mutate_resource_holder_2.mvir b/language/functional_tests/tests/testsuite/mutation/mutate_resource_holder_2.mvir
diff --git a/language/functional_tests/tests/testsuite/mutation/nested_mutate.mvir b/language/functional_tests/tests/testsuite/mutation/nested_mutate.mvir
diff --git a/language/functional_tests/tests/testsuite/mutation/no_borrow_ref.mvir b/language/functional_tests/tests/testsuite/mutation/no_borrow_ref.mvir
diff --git a/language/functional_tests/tests/testsuite/mutation/read_field_after_assign_local.mvir b/language/functional_tests/tests/testsuite/mutation/read_field_after_assign_local.mvir
diff --git a/language/functional_tests/tests/testsuite/mutation/read_local_ref_after_assign.mvir b/language/functional_tests/tests/testsuite/mutation/read_local_ref_after_assign.mvir
diff --git a/language/functional_tests/tests/testsuite/mutation/read_local_ref_after_move.mvir b/language/functional_tests/tests/testsuite/mutation/read_local_ref_after_move.mvir
diff --git a/language/functional_tests/tests/testsuite/mutation/return_local_ref.mvir b/language/functional_tests/tests/testsuite/mutation/return_local_ref.mvir
diff --git a/language/functional_tests/tests/testsuite/mutation/simple_mutate.mvir b/language/functional_tests/tests/testsuite/mutation/simple_mutate.mvir
diff --git a/language/functional_tests/tests/testsuite/mutation/unused_resource_holder.mvir b/language/functional_tests/tests/testsuite/mutation/unused_resource_holder.mvir
diff --git a/language/functional_tests/tests/testsuite/mutation/use_after_move.mvir b/language/functional_tests/tests/testsuite/mutation/use_after_move.mvir
diff --git a/language/functional_tests/tests/testsuite/mutation/use_prefix_after_move.mvir b/language/functional_tests/tests/testsuite/mutation/use_prefix_after_move.mvir
diff --git a/language/functional_tests/tests/testsuite/mutation/use_suffix_after_move.mvir b/language/functional_tests/tests/testsuite/mutation/use_suffix_after_move.mvir
diff --git a/language/functional_tests/tests/testsuite/natives/check_native_keccak256.mvir b/language/functional_tests/tests/testsuite/natives/check_native_keccak256.mvir
diff --git a/language/functional_tests/tests/testsuite/natives/check_native_ripemd160.mvir b/language/functional_tests/tests/testsuite/natives/check_native_ripemd160.mvir
diff --git a/language/functional_tests/tests/testsuite/natives/check_native_sha2_256.mvir b/language/functional_tests/tests/testsuite/natives/check_native_sha2_256.mvir
diff --git a/language/functional_tests/tests/testsuite/natives/check_native_sha3_256.mvir b/language/functional_tests/tests/testsuite/natives/check_native_sha3_256.mvir
diff --git a/language/functional_tests/tests/testsuite/natives/signature_ed25519.mvir b/language/functional_tests/tests/testsuite/natives/signature_ed25519.mvir
diff --git a/language/functional_tests/tests/testsuite/natives/signature_ed25519_bad_msg.mvir b/language/functional_tests/tests/testsuite/natives/signature_ed25519_bad_msg.mvir
diff --git a/language/functional_tests/tests/testsuite/natives/signature_ed25519_bad_pk.mvir b/language/functional_tests/tests/testsuite/natives/signature_ed25519_bad_pk.mvir
diff --git a/language/functional_tests/tests/testsuite/natives/signature_ed25519_bad_sig.mvir b/language/functional_tests/tests/testsuite/natives/signature_ed25519_bad_sig.mvir
diff --git a/language/functional_tests/tests/testsuite/operators/arithmetic_operators.mvir b/language/functional_tests/tests/testsuite/operators/arithmetic_operators.mvir
diff --git a/language/functional_tests/tests/testsuite/operators/bitwise_operators.mvir b/language/functional_tests/tests/testsuite/operators/bitwise_operators.mvir
diff --git a/language/functional_tests/tests/testsuite/operators/boolean_not_non_boolean.mvir b/language/functional_tests/tests/testsuite/operators/boolean_not_non_boolean.mvir
diff --git a/language/functional_tests/tests/testsuite/operators/boolean_operators.mvir b/language/functional_tests/tests/testsuite/operators/boolean_operators.mvir
diff --git a/language/functional_tests/tests/testsuite/operators/comparison_operators.mvir b/language/functional_tests/tests/testsuite/operators/comparison_operators.mvir
diff --git a/language/functional_tests/tests/testsuite/operators/division_by_zero.mvir b/language/functional_tests/tests/testsuite/operators/division_by_zero.mvir
diff --git a/language/functional_tests/tests/testsuite/operators/mod_by_zero.mvir b/language/functional_tests/tests/testsuite/operators/mod_by_zero.mvir
diff --git a/language/functional_tests/tests/testsuite/operators/overflow_via_addition.mvir b/language/functional_tests/tests/testsuite/operators/overflow_via_addition.mvir
diff --git a/language/functional_tests/tests/testsuite/operators/overflow_via_multiplication.mvir b/language/functional_tests/tests/testsuite/operators/overflow_via_multiplication.mvir
diff --git a/language/functional_tests/tests/testsuite/operators/underflow_via_subtraction.mvir b/language/functional_tests/tests/testsuite/operators/underflow_via_subtraction.mvir
diff --git a/language/functional_tests/tests/testsuite/payments/check_balance.mvir b/language/functional_tests/tests/testsuite/payments/check_balance.mvir
diff --git a/language/functional_tests/tests/testsuite/payments/check_balance_after_withdraw.mvir b/language/functional_tests/tests/testsuite/payments/check_balance_after_withdraw.mvir
diff --git a/language/functional_tests/tests/testsuite/payments/local_split_payment.mvir b/language/functional_tests/tests/testsuite/payments/local_split_payment.mvir
diff --git a/language/functional_tests/tests/testsuite/payments/multi_payment.mvir b/language/functional_tests/tests/testsuite/payments/multi_payment.mvir
diff --git a/language/functional_tests/tests/testsuite/payments/peer_to_peer_payment.mvir b/language/functional_tests/tests/testsuite/payments/peer_to_peer_payment.mvir
diff --git a/language/functional_tests/tests/testsuite/payments/withdraw_then_deposit_payment.mvir b/language/functional_tests/tests/testsuite/payments/withdraw_then_deposit_payment.mvir
diff --git a/language/functional_tests/tests/testsuite/prologue/get_txn_sequence_number.mvir b/language/functional_tests/tests/testsuite/prologue/get_txn_sequence_number.mvir
diff --git a/language/functional_tests/tests/testsuite/publish/publish_duplicate_modules.mvir b/language/functional_tests/tests/testsuite/publish/publish_duplicate_modules.mvir
diff --git a/language/functional_tests/tests/testsuite/publish/publish_empty_module.mvir b/language/functional_tests/tests/testsuite/publish/publish_empty_module.mvir
diff --git a/language/functional_tests/tests/testsuite/publish/publish_module_and_use.mvir b/language/functional_tests/tests/testsuite/publish/publish_module_and_use.mvir
diff --git a/language/functional_tests/tests/testsuite/publish/publish_two_modules.mvir b/language/functional_tests/tests/testsuite/publish/publish_two_modules.mvir
diff --git a/...functional_tests/tests/testsuite/publish/resources_are_distinct_by_published_account.mvir b/...functional_tests/tests/testsuite/publish/resources_are_distinct_by_published_account.mvir
diff --git a/language/functional_tests/tests/testsuite/recursion/direct_recursion.mvir b/language/functional_tests/tests/testsuite/recursion/direct_recursion.mvir
diff --git a/language/functional_tests/tests/testsuite/recursion/mutual_recursion.mvir b/language/functional_tests/tests/testsuite/recursion/mutual_recursion.mvir
diff --git a/language/stdlib/Cargo.toml b/language/stdlib/Cargo.toml
diff --git a/language/stdlib/modules/hash.mvir b/language/stdlib/modules/hash.mvir
diff --git a/language/stdlib/modules/libra_account.mvir b/language/stdlib/modules/libra_account.mvir
diff --git a/language/stdlib/modules/libra_coin.mvir b/language/stdlib/modules/libra_coin.mvir
diff --git a/language/stdlib/modules/signature.mvir b/language/stdlib/modules/signature.mvir
diff --git a/language/stdlib/modules/validator_set.mvir b/language/stdlib/modules/validator_set.mvir
diff --git a/language/stdlib/natives/Cargo.toml b/language/stdlib/natives/Cargo.toml
diff --git a/language/stdlib/natives/src/dispatch.rs b/language/stdlib/natives/src/dispatch.rs
diff --git a/language/stdlib/natives/src/hash.rs b/language/stdlib/natives/src/hash.rs
diff --git a/language/stdlib/natives/src/lib.rs b/language/stdlib/natives/src/lib.rs
diff --git a/language/stdlib/natives/src/signature.rs b/language/stdlib/natives/src/signature.rs
diff --git a/language/stdlib/src/lib.rs b/language/stdlib/src/lib.rs
diff --git a/language/stdlib/src/mod.rs b/language/stdlib/src/mod.rs
diff --git a/language/stdlib/src/stdlib.rs b/language/stdlib/src/stdlib.rs
diff --git a/language/stdlib/src/transaction_scripts.rs b/language/stdlib/src/transaction_scripts.rs
diff --git a/language/stdlib/transaction_scripts/create_account.mvir b/language/stdlib/transaction_scripts/create_account.mvir
diff --git a/language/stdlib/transaction_scripts/mint.mvir b/language/stdlib/transaction_scripts/mint.mvir
diff --git a/language/stdlib/transaction_scripts/peer_to_peer_transfer.mvir b/language/stdlib/transaction_scripts/peer_to_peer_transfer.mvir
diff --git a/language/stdlib/transaction_scripts/placeholder_script.mvir b/language/stdlib/transaction_scripts/placeholder_script.mvir
diff --git a/language/stdlib/transaction_scripts/rotate_authentication_key.mvir b/language/stdlib/transaction_scripts/rotate_authentication_key.mvir
diff --git a/language/test.sh b/language/test.sh
diff --git a/language/vm/Cargo.toml b/language/vm/Cargo.toml
diff --git a/language/vm/README.md b/language/vm/README.md
diff --git a/language/vm/cost_synthesis/Cargo.toml b/language/vm/cost_synthesis/Cargo.toml
diff --git a/language/vm/cost_synthesis/src/bin/main.rs b/language/vm/cost_synthesis/src/bin/main.rs
diff --git a/language/vm/cost_synthesis/src/bytecode_specifications/frame_transition_info.rs b/language/vm/cost_synthesis/src/bytecode_specifications/frame_transition_info.rs
diff --git a/language/vm/cost_synthesis/src/bytecode_specifications/mod.rs b/language/vm/cost_synthesis/src/bytecode_specifications/mod.rs
diff --git a/language/vm/cost_synthesis/src/bytecode_specifications/stack_transition_info.rs b/language/vm/cost_synthesis/src/bytecode_specifications/stack_transition_info.rs
diff --git a/language/vm/cost_synthesis/src/common.rs b/language/vm/cost_synthesis/src/common.rs
diff --git a/language/vm/cost_synthesis/src/lib.rs b/language/vm/cost_synthesis/src/lib.rs
diff --git a/language/vm/cost_synthesis/src/module_generator.rs b/language/vm/cost_synthesis/src/module_generator.rs
diff --git a/language/vm/cost_synthesis/src/natives.rs b/language/vm/cost_synthesis/src/natives.rs
diff --git a/language/vm/cost_synthesis/src/stack_generator.rs b/language/vm/cost_synthesis/src/stack_generator.rs
diff --git a/language/vm/cost_synthesis/src/vm_runner.rs b/language/vm/cost_synthesis/src/vm_runner.rs
diff --git a/language/vm/coverage_report.sh b/language/vm/coverage_report.sh
diff --git a/language/vm/src/access.rs b/language/vm/src/access.rs
diff --git a/language/vm/src/checks.rs b/language/vm/src/checks.rs
diff --git a/language/vm/src/checks/bounds.rs b/language/vm/src/checks/bounds.rs
diff --git a/language/vm/src/checks/signature.rs b/language/vm/src/checks/signature.rs
diff --git a/language/vm/src/deserializer.rs b/language/vm/src/deserializer.rs
diff --git a/language/vm/src/errors.rs b/language/vm/src/errors.rs
diff --git a/language/vm/src/file_format.rs b/language/vm/src/file_format.rs
diff --git a/language/vm/src/file_format_common.rs b/language/vm/src/file_format_common.rs
diff --git a/language/vm/src/gas_schedule.rs b/language/vm/src/gas_schedule.rs
diff --git a/language/vm/src/internals.rs b/language/vm/src/internals.rs
diff --git a/language/vm/src/lib.rs b/language/vm/src/lib.rs
diff --git a/language/vm/src/printers.rs b/language/vm/src/printers.rs
diff --git a/language/vm/src/proptest_types.rs b/language/vm/src/proptest_types.rs
diff --git a/language/vm/src/proptest_types/functions.rs b/language/vm/src/proptest_types/functions.rs
diff --git a/language/vm/src/proptest_types/signature.rs b/language/vm/src/proptest_types/signature.rs
diff --git a/language/vm/src/resolver.rs b/language/vm/src/resolver.rs
diff --git a/language/vm/src/serializer.rs b/language/vm/src/serializer.rs
diff --git a/language/vm/src/transaction_metadata.rs b/language/vm/src/transaction_metadata.rs
diff --git a/language/vm/src/unit_tests/checks.rs b/language/vm/src/unit_tests/checks.rs
diff --git a/language/vm/src/unit_tests/checks/signature_tests.rs b/language/vm/src/unit_tests/checks/signature_tests.rs
diff --git a/language/vm/src/unit_tests/deserializer_tests.rs b/language/vm/src/unit_tests/deserializer_tests.rs
diff --git a/language/vm/src/unit_tests/fixture_tests.rs b/language/vm/src/unit_tests/fixture_tests.rs
diff --git a/language/vm/src/unit_tests/mod.rs b/language/vm/src/unit_tests/mod.rs
diff --git a/language/vm/src/unit_tests/number_tests.rs b/language/vm/src/unit_tests/number_tests.rs
diff --git a/language/vm/src/views.rs b/language/vm/src/views.rs
diff --git a/language/vm/tests/serializer_tests.proptest-regressions b/language/vm/tests/serializer_tests.proptest-regressions
diff --git a/language/vm/tests/serializer_tests.rs b/language/vm/tests/serializer_tests.rs
diff --git a/language/vm/vm_genesis/Cargo.toml b/language/vm/vm_genesis/Cargo.toml
diff --git a/language/vm/vm_genesis/genesis/genesis.blob b/language/vm/vm_genesis/genesis/genesis.blob
diff --git a/language/vm/vm_genesis/genesis/vm_config.toml b/language/vm/vm_genesis/genesis/vm_config.toml
diff --git a/language/vm/vm_genesis/src/lib.rs b/language/vm/vm_genesis/src/lib.rs
diff --git a/language/vm/vm_genesis/src/main.rs b/language/vm/vm_genesis/src/main.rs
diff --git a/language/vm/vm_genesis/src/tests.rs b/language/vm/vm_genesis/src/tests.rs
diff --git a/language/vm/vm_genesis/src/tests/genesis_test.rs b/language/vm/vm_genesis/src/tests/genesis_test.rs
diff --git a/language/vm/vm_runtime/Cargo.toml b/language/vm/vm_runtime/Cargo.toml
diff --git a/language/vm/vm_runtime/README.md b/language/vm/vm_runtime/README.md
diff --git a/language/vm/vm_runtime/src/block_processor.rs b/language/vm/vm_runtime/src/block_processor.rs
diff --git a/language/vm/vm_runtime/src/code_cache/mod.rs b/language/vm/vm_runtime/src/code_cache/mod.rs
diff --git a/language/vm/vm_runtime/src/code_cache/module_adapter.rs b/language/vm/vm_runtime/src/code_cache/module_adapter.rs
diff --git a/language/vm/vm_runtime/src/code_cache/module_cache.rs b/language/vm/vm_runtime/src/code_cache/module_cache.rs
diff --git a/language/vm/vm_runtime/src/code_cache/script_cache.rs b/language/vm/vm_runtime/src/code_cache/script_cache.rs
diff --git a/language/vm/vm_runtime/src/counters.rs b/language/vm/vm_runtime/src/counters.rs
diff --git a/language/vm/vm_runtime/src/data_cache.rs b/language/vm/vm_runtime/src/data_cache.rs
diff --git a/language/vm/vm_runtime/src/execution_stack.rs b/language/vm/vm_runtime/src/execution_stack.rs
diff --git a/language/vm/vm_runtime/src/frame.rs b/language/vm/vm_runtime/src/frame.rs
diff --git a/language/vm/vm_runtime/src/gas_meter.rs b/language/vm/vm_runtime/src/gas_meter.rs
diff --git a/language/vm/vm_runtime/src/identifier.rs b/language/vm/vm_runtime/src/identifier.rs
diff --git a/language/vm/vm_runtime/src/lib.rs b/language/vm/vm_runtime/src/lib.rs
diff --git a/language/vm/vm_runtime/src/loaded_data/function.rs b/language/vm/vm_runtime/src/loaded_data/function.rs
diff --git a/language/vm/vm_runtime/src/loaded_data/loaded_module.rs b/language/vm/vm_runtime/src/loaded_data/loaded_module.rs
diff --git a/language/vm/vm_runtime/src/loaded_data/mod.rs b/language/vm/vm_runtime/src/loaded_data/mod.rs
diff --git a/language/vm/vm_runtime/src/loaded_data/struct_def.rs b/language/vm/vm_runtime/src/loaded_data/struct_def.rs
diff --git a/language/vm/vm_runtime/src/loaded_data/types.rs b/language/vm/vm_runtime/src/loaded_data/types.rs
diff --git a/language/vm/vm_runtime/src/move_vm.rs b/language/vm/vm_runtime/src/move_vm.rs
diff --git a/language/vm/vm_runtime/src/process_txn/execute.rs b/language/vm/vm_runtime/src/process_txn/execute.rs
diff --git a/language/vm/vm_runtime/src/process_txn/mod.rs b/language/vm/vm_runtime/src/process_txn/mod.rs
diff --git a/language/vm/vm_runtime/src/process_txn/validate.rs b/language/vm/vm_runtime/src/process_txn/validate.rs
diff --git a/language/vm/vm_runtime/src/process_txn/verify.rs b/language/vm/vm_runtime/src/process_txn/verify.rs
diff --git a/language/vm/vm_runtime/src/proptest_types.rs b/language/vm/vm_runtime/src/proptest_types.rs
diff --git a/language/vm/vm_runtime/src/runtime.rs b/language/vm/vm_runtime/src/runtime.rs
diff --git a/language/vm/vm_runtime/src/txn_executor.rs b/language/vm/vm_runtime/src/txn_executor.rs
diff --git a/language/vm/vm_runtime/src/unit_tests/identifier_prop_tests.rs b/language/vm/vm_runtime/src/unit_tests/identifier_prop_tests.rs
diff --git a/language/vm/vm_runtime/src/unit_tests/module_cache_tests.rs b/language/vm/vm_runtime/src/unit_tests/module_cache_tests.rs
diff --git a/language/vm/vm_runtime/src/unit_tests/runtime_tests.rs b/language/vm/vm_runtime/src/unit_tests/runtime_tests.rs