Refactor all tests to get rid of finalize syntax

2024-11-22 22:44:47 +03:00 · 2024-04-10 15:56:30 -07:00 · 2024-04-10 15:56:30 -07:00 · 17c35d11af
commit 17c35d11af
parent 915ced57bd
828 changed files with 6955 additions and 6990 deletions
--- a/compiler/parser/src/parser/type_.rs
+++ b/compiler/parser/src/parser/type_.rs
@ -139,8 +139,7 @@ impl ParserContext<'_> {
                self.expect(&Token::Lt)?;
                self.expect(&Token::Fn)?;
                // Parse the parenthesis list of function arguments.
-                let (types, _, full_span) =
-                    self.parse_paren_comma_list(|p| p.parse_type().map(Some))?;
+                let (types, _, full_span) = self.parse_paren_comma_list(|p| p.parse_type().map(Some))?;
                // Expect the closing `>`.
                self.expect(&Token::Gt)?;
                Ok((
--- a/compiler/passes/src/type_checking/check_expressions.rs
+++ b/compiler/passes/src/type_checking/check_expressions.rs
@ -173,8 +173,6 @@ impl<'a> ExpressionVisitor<'a> for TypeChecker<'a> {
                        Future(_) => {
                            // Get the fully inferred type.
                            if let Some(Type::Future(inferred_f)) = self.type_table.get(&access.tuple.id()) {
-                                dbg!(inferred_f.clone());
-                                dbg!(access.clone());
                                // Make sure in range.
                                if access.index.value() >= inferred_f.inputs().len() {
                                    self.emit_err(TypeCheckerError::invalid_future_access(
--- a/compiler/passes/src/type_checking/check_statements.rs
+++ b/compiler/passes/src/type_checking/check_statements.rs
@ -388,10 +388,6 @@ impl<'a> StatementVisitor<'a> for TypeChecker<'a> {
    }

    fn visit_return(&mut self, input: &'a ReturnStatement) {
-        // Cannot return anything from finalize.
-        if self.scope_state.variant == Some(Variant::AsyncFunction) {
-            self.emit_err(TypeCheckerError::finalize_function_cannot_return_value(input.span()));
-        }
        // We can safely unwrap all self.parent instances because
        // statements should always have some parent block
        let parent = self.scope_state.function.unwrap();
--- a/compiler/passes/src/type_checking/checker.rs
+++ b/compiler/passes/src/type_checking/checker.rs
@ -1323,16 +1323,17 @@ impl<'a> TypeChecker<'a> {
            }
            // Check that the input parameter is not a record.
            else if let Type::Composite(struct_) = input_var.type_() {
-                // Note that this unwrap is safe, as the type is defined.
-                if !function.variant.is_transition()
-                    && self
-                        .symbol_table
-                        .borrow()
-                        .lookup_struct(Location::new(struct_.program, struct_.id.name))
-                        .unwrap()
-                        .is_record
-                {
-                    self.emit_err(TypeCheckerError::function_cannot_input_or_output_a_record(input_var.span()))
+                // Throw error for undefined type.
+                if !function.variant.is_transition() {
+                    if let Some(elem) =
+                        self.symbol_table.borrow().lookup_struct(Location::new(struct_.program, struct_.id.name))
+                    {
+                        if elem.is_record {
+                            self.emit_err(TypeCheckerError::function_cannot_input_or_output_a_record(input_var.span()))
+                        }
+                    } else {
+                        self.emit_err(TypeCheckerError::undefined_type(struct_.id, input_var.span()));
+                    }
                }
            }

--- a/compiler/span/src/symbol.rs
+++ b/compiler/span/src/symbol.rs
@ -215,7 +215,7 @@ symbols! {
    i64,
    i128,
    Future,
-    Fn, 
+    Fn,
    record,
    scalar,
    signature,
@ -260,7 +260,6 @@ symbols! {
    SelfUpper: "Self",
    signer,
    Star: "*",
-    then,
    transition,
    Type: "type",

--- a/errors/src/errors/type_checker/type_checker_error.rs
+++ b/errors/src/errors/type_checker/type_checker_error.rs
@ -283,7 +283,7 @@ create_messages!(
        msg: format!("Standard functions cannot have modes associated with their inputs."),
        help: Some("Consider removing the mode or using the keyword `transition` instead of `function`.".to_string()),
    }
-    
+
    @formatted
    async_function_input_cannot_be_private {
        args: (),
@ -852,7 +852,6 @@ create_messages!(
        msg: "The output of an async function must be assigned to a `Future` type..".to_string(),
        help: None,
    }
-
    @formatted
    cannot_modify_external_mapping {
        args: (operation: impl Display),
--- a/tests/expectations/compiler/address/binary.out
+++ b/tests/expectations/compiler/address/binary.out
@ -3,16 +3,16 @@ namespace: Compile
 expectation: Pass
 outputs:
  - - compile:
-        - initial_symbol_table: 2ee2a99efeb3473ccec80415106122bfa9a87565247ed9b8032896ec756e33aa
-          type_checked_symbol_table: c1619490816ec0d56d77600e667acdb7b4577b32084cf542fcdc1a802d7a972b
-          unrolled_symbol_table: c1619490816ec0d56d77600e667acdb7b4577b32084cf542fcdc1a802d7a972b
-          initial_ast: 94d3242e748619d667e5896f7ad3988dda45250b368ce2486c33cf6f1c55b638
-          unrolled_ast: 94d3242e748619d667e5896f7ad3988dda45250b368ce2486c33cf6f1c55b638
-          ssa_ast: db3e09758f82feca118021d2bee6d59052d672d49f417c27e3b0c05d88002a15
-          flattened_ast: a6592d9d77d05c67e310532f457aaa9316897aa6a1c0072686475cefe48eb886
-          destructured_ast: 60890ee588aab8ff3665cc85fbd5107c9bc6b93676aa93dc1d817616423ab596
-          inlined_ast: 60890ee588aab8ff3665cc85fbd5107c9bc6b93676aa93dc1d817616423ab596
-          dce_ast: 0fc4768d947d9da8680ad6005a49bbdf0ae8e71f9e345e9e2ae87a691e76dabf
+        - initial_symbol_table: 951e0114110d23b297cafc49a243a611b7ea4e084ec49720b8df349b4b636140
+          type_checked_symbol_table: 3a6825875b2cae550b65d4f355ef6414baae16af6c85addc26f3f0da0a6e8c9a
+          unrolled_symbol_table: 3a6825875b2cae550b65d4f355ef6414baae16af6c85addc26f3f0da0a6e8c9a
+          initial_ast: 0dce2e10f5db71839485cc08ed98e10329a3bcbaef64f70241cf5fe9b6937c1f
+          unrolled_ast: 0dce2e10f5db71839485cc08ed98e10329a3bcbaef64f70241cf5fe9b6937c1f
+          ssa_ast: fed466ed0da21b09184b2333c55256f25660833063b84a2491e5dc513bcc8bb2
+          flattened_ast: 1e7101d7d484d85926b898bde6a6528fb56fdb0b6063ed006cc4928521db22ac
+          destructured_ast: bc5b46644525316e2557560b6b839bea2302c1a3811f1b05174b82593a59a1ca
+          inlined_ast: bc5b46644525316e2557560b6b839bea2302c1a3811f1b05174b82593a59a1ca
+          dce_ast: 8f242b13cd1eeb95609fc779ec1276f01a53a6ce24e1890aa3da2ba636a4c88b
          bytecode: e434c09cee27a5dfb5a4e9e9fd26aa2ba6e7f0653fad3a4f2a7d85983ba559c9
          errors: ""
          warnings: ""
--- a/tests/expectations/compiler/address/branch.out
+++ b/tests/expectations/compiler/address/branch.out
@ -3,16 +3,16 @@ namespace: Compile
 expectation: Pass
 outputs:
  - - compile:
-        - initial_symbol_table: 7f932b8d44e0a087c6da5750a6d6caebe3701863c0d179297cfb44fc68113163
-          type_checked_symbol_table: 2bc79159a5bee87aecb4b652b908988bfc8922ea41269afe0dffd7fe55ffccda
-          unrolled_symbol_table: 2bc79159a5bee87aecb4b652b908988bfc8922ea41269afe0dffd7fe55ffccda
-          initial_ast: 8cb5c760709498b96a56ea62b25d3c28b22bf0484298831b23cd89a3570c63c3
-          unrolled_ast: 8cb5c760709498b96a56ea62b25d3c28b22bf0484298831b23cd89a3570c63c3
-          ssa_ast: 54a1e0dc85a8262b757539c8e65704ebe4666f121081732d9a8ed3381c5bef34
-          flattened_ast: 033487cd7acf9bb3a532f56b66e0cf09b5a81396f9442f0390967a4a027767b6
-          destructured_ast: f959a2d4ba504698c24951fa26ae50ce794822918cec705792aba498cb0b3dd9
-          inlined_ast: f959a2d4ba504698c24951fa26ae50ce794822918cec705792aba498cb0b3dd9
-          dce_ast: f959a2d4ba504698c24951fa26ae50ce794822918cec705792aba498cb0b3dd9
+        - initial_symbol_table: 3f35643726cd2b07aa420a78617a595622e8fee61d9543ebc4ca0bf5f562caa5
+          type_checked_symbol_table: c1930dabb10b3f851acd57eef08ff97f409419740e5b632acf0105b1e93ee6b0
+          unrolled_symbol_table: c1930dabb10b3f851acd57eef08ff97f409419740e5b632acf0105b1e93ee6b0
+          initial_ast: 1bb0070b60c80e2c1c768a02b377bea1fa03c759f73dc39568ebbcf2c34d9829
+          unrolled_ast: 1bb0070b60c80e2c1c768a02b377bea1fa03c759f73dc39568ebbcf2c34d9829
+          ssa_ast: 3242a2682a29a77d31149d2a0af22d4355eeb239df8ab3326414d0c588b15f37
+          flattened_ast: a71dc86fda82889c2f3940bf08a7bf77ee9c405418cb3bded4f847d82a89d4b5
+          destructured_ast: 851f56d123341353119c1473befefe603fbfadddee37d1e7799c3d4fbf26e4bf
+          inlined_ast: 851f56d123341353119c1473befefe603fbfadddee37d1e7799c3d4fbf26e4bf
+          dce_ast: 851f56d123341353119c1473befefe603fbfadddee37d1e7799c3d4fbf26e4bf
          bytecode: da1b0a83a17b801368b0a583b158d88d9d807a33000c8e89e82da123c8041aea
          errors: ""
          warnings: ""
--- a/tests/expectations/compiler/address/equal.out
+++ b/tests/expectations/compiler/address/equal.out
@ -3,16 +3,16 @@ namespace: Compile
 expectation: Pass
 outputs:
  - - compile:
-        - initial_symbol_table: e0182bdd45dcbb1862e12e209da9b2fb8227c78b37bf915e37f00208557c9b18
-          type_checked_symbol_table: 9031de27b62db9f0c3f3ed4fb03211263039a5bb88fa67e6bd6ee55396d946f9
-          unrolled_symbol_table: 9031de27b62db9f0c3f3ed4fb03211263039a5bb88fa67e6bd6ee55396d946f9
-          initial_ast: 10650ea9835265f168c13b09658eadd2b33b4eca35826b56bdca6be930c5ef53
-          unrolled_ast: 10650ea9835265f168c13b09658eadd2b33b4eca35826b56bdca6be930c5ef53
-          ssa_ast: b103df8661413a11492f1bf0d7e0e322e652f38055875bdb51026bda792ec8b3
-          flattened_ast: 7510319c7429d2397d871c23319c8fef5e3fde8072e4fc72cc6bacb7f993537a
-          destructured_ast: 965ad6941786c46e8fcd8e9ffdfb330f4c824eaffbf90940f67c9480cbccf6b4
-          inlined_ast: 965ad6941786c46e8fcd8e9ffdfb330f4c824eaffbf90940f67c9480cbccf6b4
-          dce_ast: 965ad6941786c46e8fcd8e9ffdfb330f4c824eaffbf90940f67c9480cbccf6b4
+        - initial_symbol_table: 4c2abaff5b21697577b5197109b668e87a40306c4230155199f65399e4a7fae5
+          type_checked_symbol_table: fce31d5f75a9b4ea01b3d57a042e151dd0ffa7fff3a41d6609647cc855d0e8ca
+          unrolled_symbol_table: fce31d5f75a9b4ea01b3d57a042e151dd0ffa7fff3a41d6609647cc855d0e8ca
+          initial_ast: ed8950347dbcfbf8d26a417968f242981a7ae09c170aaa82c5e7eeba4808fcd4
+          unrolled_ast: ed8950347dbcfbf8d26a417968f242981a7ae09c170aaa82c5e7eeba4808fcd4
+          ssa_ast: 8db184a9b32054786d68ef80983d04e0333214436cfce2f9d56a08c6e78a478f
+          flattened_ast: 4e5a6a821a96c8194dcef0bd6c616e0597e435a3886c46dd255f5566f7d09b8c
+          destructured_ast: c6d910254ef63cd0b7beb8c1fd2744c8dc2e5702ac692a0b0ee46d4272641dd3
+          inlined_ast: c6d910254ef63cd0b7beb8c1fd2744c8dc2e5702ac692a0b0ee46d4272641dd3
+          dce_ast: c6d910254ef63cd0b7beb8c1fd2744c8dc2e5702ac692a0b0ee46d4272641dd3
          bytecode: bde2653fac0393940c5400272e53492228206e50abb36ce080b95043003ee976
          errors: ""
          warnings: ""
--- a/tests/expectations/compiler/address/gt_fail.out
+++ b/tests/expectations/compiler/address/gt_fail.out
@ -2,4 +2,4 @@
 namespace: Compile
 expectation: Fail
 outputs:
-  - "Error [ETYC0372021]: Comparison `>` is not supported for the address type.\n    --> compiler-test:7:16\n     |\n   7 |         return x > sender;\n     |                ^^^^^^^^^^\nError [ETYC0372093]: A program must have at least one transition function.\n    --> compiler-test:1:1\n     |\n   1 | \n   2 | \n   3 | program test.aleo {    \n     | ^^^^^^^^^^^^\n"
+  - "Error [ETYC0372021]: Comparison `>` is not supported for the address type.\n    --> compiler-test:7:16\n     |\n   7 |         return x > sender;\n     |                ^^^^^^^^^^\nError [ETYC0372083]: A program must have at least one transition function.\n    --> compiler-test:1:1\n     |\n   1 | \n   2 | \n   3 | program test.aleo {    \n     | ^^^^^^^^^^^^\n"
--- a/tests/expectations/compiler/address/gte_fail.out
+++ b/tests/expectations/compiler/address/gte_fail.out
@ -2,4 +2,4 @@
 namespace: Compile
 expectation: Fail
 outputs:
-  - "Error [ETYC0372021]: Comparison `>=` is not supported for the address type.\n    --> compiler-test:7:16\n     |\n   7 |         return x >= sender;\n     |                ^^^^^^^^^^^\nError [ETYC0372093]: A program must have at least one transition function.\n    --> compiler-test:1:1\n     |\n   1 | \n   2 | \n   3 | program test.aleo {    \n     | ^^^^^^^^^^^^\n"
+  - "Error [ETYC0372021]: Comparison `>=` is not supported for the address type.\n    --> compiler-test:7:16\n     |\n   7 |         return x >= sender;\n     |                ^^^^^^^^^^^\nError [ETYC0372083]: A program must have at least one transition function.\n    --> compiler-test:1:1\n     |\n   1 | \n   2 | \n   3 | program test.aleo {    \n     | ^^^^^^^^^^^^\n"
--- a/tests/expectations/compiler/address/lt_fail.out
+++ b/tests/expectations/compiler/address/lt_fail.out
@ -2,4 +2,4 @@
 namespace: Compile
 expectation: Fail
 outputs:
-  - "Error [ETYC0372021]: Comparison `<` is not supported for the address type.\n    --> compiler-test:7:16\n     |\n   7 |         return x < sender;\n     |                ^^^^^^^^^^\nError [ETYC0372093]: A program must have at least one transition function.\n    --> compiler-test:1:1\n     |\n   1 | \n   2 | \n   3 | program test.aleo {    \n     | ^^^^^^^^^^^^\n"
+  - "Error [ETYC0372021]: Comparison `<` is not supported for the address type.\n    --> compiler-test:7:16\n     |\n   7 |         return x < sender;\n     |                ^^^^^^^^^^\nError [ETYC0372083]: A program must have at least one transition function.\n    --> compiler-test:1:1\n     |\n   1 | \n   2 | \n   3 | program test.aleo {    \n     | ^^^^^^^^^^^^\n"
--- a/tests/expectations/compiler/address/lte_fail.out
+++ b/tests/expectations/compiler/address/lte_fail.out
@ -2,4 +2,4 @@
 namespace: Compile
 expectation: Fail
 outputs:
-  - "Error [ETYC0372021]: Comparison `<=` is not supported for the address type.\n    --> compiler-test:7:16\n     |\n   7 |         return x <= sender;\n     |                ^^^^^^^^^^^\nError [ETYC0372093]: A program must have at least one transition function.\n    --> compiler-test:1:1\n     |\n   1 | \n   2 | \n   3 | program test.aleo {    \n     | ^^^^^^^^^^^^\n"
+  - "Error [ETYC0372021]: Comparison `<=` is not supported for the address type.\n    --> compiler-test:7:16\n     |\n   7 |         return x <= sender;\n     |                ^^^^^^^^^^^\nError [ETYC0372083]: A program must have at least one transition function.\n    --> compiler-test:1:1\n     |\n   1 | \n   2 | \n   3 | program test.aleo {    \n     | ^^^^^^^^^^^^\n"
--- a/tests/expectations/compiler/address/ternary.out
+++ b/tests/expectations/compiler/address/ternary.out
@ -3,16 +3,16 @@ namespace: Compile
 expectation: Pass
 outputs:
  - - compile:
-        - initial_symbol_table: e0182bdd45dcbb1862e12e209da9b2fb8227c78b37bf915e37f00208557c9b18
-          type_checked_symbol_table: 6cb5b5abdfc48c9e6f755f97947504a8bdc2837ffbf708b0c12f5c38e52ca55b
-          unrolled_symbol_table: 6cb5b5abdfc48c9e6f755f97947504a8bdc2837ffbf708b0c12f5c38e52ca55b
-          initial_ast: 4b616fbbbf52577b25e69eb1b95915dd9b9ae0da10520f3edd913b9aeeae93fd
-          unrolled_ast: 4b616fbbbf52577b25e69eb1b95915dd9b9ae0da10520f3edd913b9aeeae93fd
-          ssa_ast: 94c32c4de57d425b18ec80921bacbbe66ae2eb8a813ade87b9e1852e01ce38d3
-          flattened_ast: b9b1d340db4cadc4b503f8b5a62e7e81e806aef8b61de78439fcd135facdce0f
-          destructured_ast: 06aaefc70bac853d85a46cb1698f98a45916fa83b7ce78a8c5dc7aed0fac6055
-          inlined_ast: 06aaefc70bac853d85a46cb1698f98a45916fa83b7ce78a8c5dc7aed0fac6055
-          dce_ast: 06aaefc70bac853d85a46cb1698f98a45916fa83b7ce78a8c5dc7aed0fac6055
+        - initial_symbol_table: 4c2abaff5b21697577b5197109b668e87a40306c4230155199f65399e4a7fae5
+          type_checked_symbol_table: f59ac690784f6dc977aedaa326e50075a55966b293c2ad6e8b096f9066ea44d7
+          unrolled_symbol_table: f59ac690784f6dc977aedaa326e50075a55966b293c2ad6e8b096f9066ea44d7
+          initial_ast: a59e2b26659a5d0d2dde07e1074b87770db51b0cc2681b7a2b748cacf589be78
+          unrolled_ast: a59e2b26659a5d0d2dde07e1074b87770db51b0cc2681b7a2b748cacf589be78
+          ssa_ast: 8ca94639953d46643a50a4382e71476c5a5b2913ff68cd85bfe481338ac62d0b
+          flattened_ast: b81add13f72644b3ad389f74c88cfc9a20f2706546e176c545586b0b2f15b633
+          destructured_ast: 21f348012cb90db57366d295cc95036721a80816f14fe3cbdfc864746774409b
+          inlined_ast: 21f348012cb90db57366d295cc95036721a80816f14fe3cbdfc864746774409b
+          dce_ast: 21f348012cb90db57366d295cc95036721a80816f14fe3cbdfc864746774409b
          bytecode: c0b90b7f7e80041dc1a314c1a87290534936018fb001c6e1291266a02393c6f2
          errors: ""
          warnings: ""
--- a/tests/expectations/compiler/array/access_array_with_loop_counter.out
+++ b/tests/expectations/compiler/array/access_array_with_loop_counter.out
@ -3,16 +3,16 @@ namespace: Compile
 expectation: Pass
 outputs:
  - - compile:
-        - initial_symbol_table: 3742aee96e76bb3d7d05a2f040bb4e84fa92268b522f537f91b6b74e1bf8754b
-          type_checked_symbol_table: e4097f4f784b48ea876a7d7278c96bc81f51a90c70f81d215fa490eca8ca5311
-          unrolled_symbol_table: 60258c0c9cc5cd4935f5b8418ddbe251a9ece726e47dc6adb386747569b3c2fc
-          initial_ast: 3d649cf2f604480c50b5ff669bf54750f77e81f889a3998555cc71689390485c
-          unrolled_ast: 7ede4b449bb5d6f8017baae359e49a939f98fc956351a73c72049d8a6cfb9f96
-          ssa_ast: 17ae84d03fb6b02573a98d6fe13a5237a50bd48a107d947c29dfd5025003ab96
-          flattened_ast: 985b5d6acbf6e9eb67f8af31252aac85d8fc12cb6726b3250a939d7fd0c7cbf2
-          destructured_ast: 01a6903c0b477163dc5be6959c7d00b0e86ef547c51aed50953f974d2735d216
-          inlined_ast: 01a6903c0b477163dc5be6959c7d00b0e86ef547c51aed50953f974d2735d216
-          dce_ast: 01a6903c0b477163dc5be6959c7d00b0e86ef547c51aed50953f974d2735d216
+        - initial_symbol_table: 88a8ff2f354f16881dc7684a079ea9a5fa2adf0e1f2d839e02d94c75ec5d1586
+          type_checked_symbol_table: 0e87e1db2789303438fdcfdba35ac549c221c2f54d84adbd07b14c52bc76073a
+          unrolled_symbol_table: 6286a9d0867cdac3c29b8bd41fdf763eb9a4c3f3d5c739075aa598ba230ac9ba
+          initial_ast: 39ae61c4640c874b18857c71c823770497bd028921e50e894be0de11bb6e24d6
+          unrolled_ast: be6c3781a1a7f25e061513de704d3dc6fbf38e73f131c20193253bd66b4c65c9
+          ssa_ast: bf646978106931fcce1030f23328e7ba80312ea6154aad0c25a5e2c80fbf91e3
+          flattened_ast: 0ff810b8b3dc97e0657c4da64a4560064912ca76c92eb59e62564e6c333dec7b
+          destructured_ast: 6e610e2ba4320a30a9014f054f27de57f25d2cf6853df5bc560874a2af2e4c11
+          inlined_ast: 6e610e2ba4320a30a9014f054f27de57f25d2cf6853df5bc560874a2af2e4c11
+          dce_ast: 6e610e2ba4320a30a9014f054f27de57f25d2cf6853df5bc560874a2af2e4c11
          bytecode: 5f0cb09518f39fc62d32faa38cb42fa04dca2587eaaaa1e0ac30fa9885ce4248
          errors: ""
          warnings: ""
--- a/tests/expectations/compiler/array/array_access.out
+++ b/tests/expectations/compiler/array/array_access.out
@ -3,16 +3,16 @@ namespace: Compile
 expectation: Pass
 outputs:
  - - compile:
-        - initial_symbol_table: f0c558fe33905e4a538c4b8c1778c51ccda937535c4fa06ffc7d83ae08f7b2cb
-          type_checked_symbol_table: d34d710ad8077f01ff2d8f4bdcc1328f2aa579651f2ebd3f00280f351024ebd2
-          unrolled_symbol_table: d34d710ad8077f01ff2d8f4bdcc1328f2aa579651f2ebd3f00280f351024ebd2
-          initial_ast: 32276ab6a1dc1aab9f7c473112e6672410ee24cc6161566deb1e4602658b4277
-          unrolled_ast: 32276ab6a1dc1aab9f7c473112e6672410ee24cc6161566deb1e4602658b4277
-          ssa_ast: 4e948dd99feb72930b8ec3a14c0dba9fe02af16ed798b858ca5247cdf7fa4527
-          flattened_ast: 1870270c4c93698bd331a1890d73ac5f5524f3a0e9b35f48a00b9ffe630a781d
-          destructured_ast: 55ef280c7f5d558cace875f38161b48c6f4c86a59c51fe9f381f358a13e0ad57
-          inlined_ast: 55ef280c7f5d558cace875f38161b48c6f4c86a59c51fe9f381f358a13e0ad57
-          dce_ast: 55ef280c7f5d558cace875f38161b48c6f4c86a59c51fe9f381f358a13e0ad57
+        - initial_symbol_table: 994a69e9c9cdabab84e56cbb71e44426ab828e9fd4391ef0a7d4a20842da8f7f
+          type_checked_symbol_table: e16d69137279da8e1af444a12e61c6c0bd97f192c4bebb6dc3aff92c37110a09
+          unrolled_symbol_table: e16d69137279da8e1af444a12e61c6c0bd97f192c4bebb6dc3aff92c37110a09
+          initial_ast: b93f8550acf8a1c02bb861ee31eee8824acdd4dd821ea72ebf33bd8acf776bb1
+          unrolled_ast: b93f8550acf8a1c02bb861ee31eee8824acdd4dd821ea72ebf33bd8acf776bb1
+          ssa_ast: 5307b6870b80c4ad964158ca0eba2c95b43a124c1f54ab34ddb0a7affb653287
+          flattened_ast: 7770d00663c84e224859dae653f356276a7d533d64b4bbc5af09fa0b9f9d8008
+          destructured_ast: e1efb2bb3a4453cf4237deb53c617aa97a9458f7950b49cbedc8cc6395efafa7
+          inlined_ast: e1efb2bb3a4453cf4237deb53c617aa97a9458f7950b49cbedc8cc6395efafa7
+          dce_ast: e1efb2bb3a4453cf4237deb53c617aa97a9458f7950b49cbedc8cc6395efafa7
          bytecode: d5ca429014c67ec53c9ce4c200f06611379969892725237b5164737ea8100c12
          errors: ""
          warnings: ""
--- a/tests/expectations/compiler/array/array_in_composite_data_types.out
+++ b/tests/expectations/compiler/array/array_in_composite_data_types.out
@ -3,16 +3,16 @@ namespace: Compile
 expectation: Pass
 outputs:
  - - compile:
-        - initial_symbol_table: 0a9e39c80f4a7f4cac48e8fa673aec1a25fb39998ad02d690a0922bdbf7c91a5
-          type_checked_symbol_table: fcace63f105343adf3ce1f8d99a70762e83a99e81d6d9a366ec7e9a7bfcbbb96
-          unrolled_symbol_table: fcace63f105343adf3ce1f8d99a70762e83a99e81d6d9a366ec7e9a7bfcbbb96
-          initial_ast: ed44f2e8674bc083238a3e55c224e862583cc2118f7032194dd9f866937f6e11
-          unrolled_ast: ed44f2e8674bc083238a3e55c224e862583cc2118f7032194dd9f866937f6e11
-          ssa_ast: cace7d8d010a0387e087f70d50dda22dd9219f10e7e93f4c5b8de4afd2b7abfe
-          flattened_ast: 00d9a1361c7f00b01be1856f385ccb2ce2864a33d17f01cde91b83ba527cf663
-          destructured_ast: 190079c0017bf93950821145acf9f999dd7e8f9cb1a5267b22aefa3c08dd002d
-          inlined_ast: 190079c0017bf93950821145acf9f999dd7e8f9cb1a5267b22aefa3c08dd002d
-          dce_ast: 190079c0017bf93950821145acf9f999dd7e8f9cb1a5267b22aefa3c08dd002d
+        - initial_symbol_table: 1291a91a90aa118374f06ad4be54ee1f0eb4f46d124bf043fa34086a985f2cc9
+          type_checked_symbol_table: 0ea6b45ef0b7c7b78bec95bdfcfa43cf88e4f9ae2a19adffefa2a14fecaa8beb
+          unrolled_symbol_table: 0ea6b45ef0b7c7b78bec95bdfcfa43cf88e4f9ae2a19adffefa2a14fecaa8beb
+          initial_ast: fd14a36fd901d44e7995cda468f05853f8ae30e892603836d74a1d8ee4fc7578
+          unrolled_ast: fd14a36fd901d44e7995cda468f05853f8ae30e892603836d74a1d8ee4fc7578
+          ssa_ast: 0d72b7e370373fb6537bca11164567195e0d5d2a8f5f3aa4cbc6f486e1578219
+          flattened_ast: b5a945962957e668fcfd4ba6394f48aa7dbe5cc9d327a65d95f05e6daf43df82
+          destructured_ast: 4710554eada5f260f55cd77620be4b73d0d16121408a5cbf13581db2380fe124
+          inlined_ast: 4710554eada5f260f55cd77620be4b73d0d16121408a5cbf13581db2380fe124
+          dce_ast: 4710554eada5f260f55cd77620be4b73d0d16121408a5cbf13581db2380fe124
          bytecode: a3539a0515c22f4ec653aa601063d7a414db833dc25273cee463985b052b72bc
          errors: ""
          warnings: ""
--- a/tests/expectations/compiler/array/array_in_finalize.out
+++ b/tests/expectations/compiler/array/array_in_finalize.out
@ -3,16 +3,16 @@ namespace: Compile
 expectation: Pass
 outputs:
  - - compile:
-        - initial_symbol_table: 513000ef5b6588b18b4e9307c998bdac2d0eaf3c0fbe8f972df99531d10fb990
-          type_checked_symbol_table: 87970aa8e3bdb5c78b6316f4b6ce58036b334f72316b38e89f53ea0fa2cdc883
-          unrolled_symbol_table: 87970aa8e3bdb5c78b6316f4b6ce58036b334f72316b38e89f53ea0fa2cdc883
-          initial_ast: 031c8fde01e7664264477a68836b02a1509461bb352940221d35f62f51dcfce2
-          unrolled_ast: 031c8fde01e7664264477a68836b02a1509461bb352940221d35f62f51dcfce2
-          ssa_ast: 7a81bde21f8f85449b1ea0620e9feb46ca294f6d0c5dab6bdf6537bca42f1a26
-          flattened_ast: 29345cb534219377137f4fda5f28cd516e46bee93d276a481df72aa855227f02
-          destructured_ast: c811b0fbd315b49da02dbb6e3000a47648ed7d47ab5906d5e918d527928575b0
-          inlined_ast: c811b0fbd315b49da02dbb6e3000a47648ed7d47ab5906d5e918d527928575b0
-          dce_ast: c811b0fbd315b49da02dbb6e3000a47648ed7d47ab5906d5e918d527928575b0
-          bytecode: 66a857f6a5e79328d146c55f5e42c6eb249b7c6c9cc1c6e0c534328b85e649eb
+        - initial_symbol_table: 70e685d495d80ed119b5ab9580baa25c9d36cef0fac9777f4942df489e6f23cc
+          type_checked_symbol_table: e96bfff8b85fa61bd3d77a04502acb5b62bbf03258b2c9a5cbb3a3dab3d25d5c
+          unrolled_symbol_table: e96bfff8b85fa61bd3d77a04502acb5b62bbf03258b2c9a5cbb3a3dab3d25d5c
+          initial_ast: 87bcf0e28ba7edc41f0b07a7bead17bbe5328ab2428c46c0482cb651865f13ff
+          unrolled_ast: 87bcf0e28ba7edc41f0b07a7bead17bbe5328ab2428c46c0482cb651865f13ff
+          ssa_ast: 679a4fc4f572152ce040d922439f27337246f275f5dba2e060d84f9597e382dc
+          flattened_ast: 78d5e7f3320b38d0ad0200facfbc40603beeb1ef84bc3c7b11fb30dec5d17412
+          destructured_ast: c175e4d6939f54aba8855253e07ecba75ae7c77ed9e224538cf7d18e322e6f29
+          inlined_ast: 6528b6f4bcd689b7650732ab02c0494134975401be400310aa842e42667455c2
+          dce_ast: 6528b6f4bcd689b7650732ab02c0494134975401be400310aa842e42667455c2
+          bytecode: 6d2dea5677417b5359aa082a7ffd6afbbfbba7a3557f7f6011a88d3b93fc8d03
          errors: ""
          warnings: ""
--- a/tests/expectations/compiler/array/array_in_function_signature.out
+++ b/tests/expectations/compiler/array/array_in_function_signature.out
@ -3,16 +3,16 @@ namespace: Compile
 expectation: Pass
 outputs:
  - - compile:
-        - initial_symbol_table: 78fdfbc136a07b9056e6365495b010543217aae651dfa5b4991024873ba0396b
-          type_checked_symbol_table: 820e08769c49cac44545850f7756291c7e7181f273a63f16a0ce4892e3c45a28
-          unrolled_symbol_table: 820e08769c49cac44545850f7756291c7e7181f273a63f16a0ce4892e3c45a28
-          initial_ast: 102d78cfa8f14fdfcb39e6ccbccbc78820acef97645800ffc84931f9b82e9f5d
-          unrolled_ast: 102d78cfa8f14fdfcb39e6ccbccbc78820acef97645800ffc84931f9b82e9f5d
-          ssa_ast: a09ab12ef7f9790e9a1725c1b2dc86d65564b489d1e685b380a28f9bbcb33b6a
-          flattened_ast: ea928f6cb8ced6deb619e281f0a580a258f2a4dc771f6489738b5381decf10b0
-          destructured_ast: 52d3bf925752d918afe27ec537319cb6ddc7d88884e55fcc6b219766705c17d2
-          inlined_ast: 52d3bf925752d918afe27ec537319cb6ddc7d88884e55fcc6b219766705c17d2
-          dce_ast: 52d3bf925752d918afe27ec537319cb6ddc7d88884e55fcc6b219766705c17d2
+        - initial_symbol_table: 8f686b440e1d2cd543e5190759bbdc06182117b97640638f646f216f9f9439fb
+          type_checked_symbol_table: c7af7e465a9243ea067a24ba08c5e6eb261c6529a3268956f2c1b3a57827a5fc
+          unrolled_symbol_table: c7af7e465a9243ea067a24ba08c5e6eb261c6529a3268956f2c1b3a57827a5fc
+          initial_ast: 40a51503f07d56acd1488ed53e376b2e05d1adee3b6a76080eb9ce35203e9865
+          unrolled_ast: 40a51503f07d56acd1488ed53e376b2e05d1adee3b6a76080eb9ce35203e9865
+          ssa_ast: a01a9ec88c7a9ccd9ef3d344ae637c3bca9e0f696cdacaf38cf81103f7a0d788
+          flattened_ast: c35ebc38c080280a6a86ce383316dab7bd74a3c0b88c4c55450f3b6780eab4d6
+          destructured_ast: f7d927407be3b507a14aaeb00ecc6535bb97b73e30ec86d64c5f11e49968608a
+          inlined_ast: f7d927407be3b507a14aaeb00ecc6535bb97b73e30ec86d64c5f11e49968608a
+          dce_ast: f7d927407be3b507a14aaeb00ecc6535bb97b73e30ec86d64c5f11e49968608a
          bytecode: 0871c25bd990602b411e2492035ed37dfd4243251c0b6aed5d0937e00f91ec89
          errors: ""
          warnings: ""
--- a/tests/expectations/compiler/array/array_in_mapping.out
+++ b/tests/expectations/compiler/array/array_in_mapping.out
@ -3,16 +3,16 @@ namespace: Compile
 expectation: Pass
 outputs:
  - - compile:
-        - initial_symbol_table: 500c040c7c93a9b43123f9b77a4c805ad791563acccaa8fe77f2077d242a1a14
-          type_checked_symbol_table: 2194ee075b5de9a883208b611ee50d05dd98a0b70cfb1c3b7cd14c1eb2f5c4b9
-          unrolled_symbol_table: 2194ee075b5de9a883208b611ee50d05dd98a0b70cfb1c3b7cd14c1eb2f5c4b9
-          initial_ast: 7d40187329bfa45bc12a8722d93ae749d18bc1e74140426242a684297dd1f3e8
-          unrolled_ast: 7d40187329bfa45bc12a8722d93ae749d18bc1e74140426242a684297dd1f3e8
-          ssa_ast: 7d40187329bfa45bc12a8722d93ae749d18bc1e74140426242a684297dd1f3e8
-          flattened_ast: e2468a2b162270486b4c801ca8d53737250d16e11b1907aa0181ac2bdb710638
-          destructured_ast: 3a14bdb199158262348c694d07030108f2dddd658c822d2a1e88e5b8640a1438
-          inlined_ast: 3a14bdb199158262348c694d07030108f2dddd658c822d2a1e88e5b8640a1438
-          dce_ast: 3a14bdb199158262348c694d07030108f2dddd658c822d2a1e88e5b8640a1438
-          bytecode: bbabb76319d2c69ed28a19090796ad7f974be74a1ef138d0cc58507cc4787632
+        - initial_symbol_table: abf36ed55f5843ebc1f3242b1022888e489206da4e9fef98ea45206ca87aa9b1
+          type_checked_symbol_table: 7ac4c7922f14871dfefe6f5ab9ffd85c440c495587b4a978e3bb6eb27fdc5dfc
+          unrolled_symbol_table: 7ac4c7922f14871dfefe6f5ab9ffd85c440c495587b4a978e3bb6eb27fdc5dfc
+          initial_ast: 955bf497b346f47653f924b4dadef81cb84f1bfa0a323b7e0a507dd754d67dbf
+          unrolled_ast: 955bf497b346f47653f924b4dadef81cb84f1bfa0a323b7e0a507dd754d67dbf
+          ssa_ast: e0936e2b57582db6d022915179725558a608ec2a9b76aeecdf4d80535664034e
+          flattened_ast: 2c9c3edece96e2561ea166e8d2b1ddcf11fcbe67b6d7fbc515ab30a2b74e55c3
+          destructured_ast: c8c22a39cade77232dbb2c13abd15c10161e4df6569239f866a06d4a17113e47
+          inlined_ast: e4bad473d142300dd19a0aafb71359753d2e02db2d8f5ef44e7148b344f25128
+          dce_ast: e4bad473d142300dd19a0aafb71359753d2e02db2d8f5ef44e7148b344f25128
+          bytecode: 3914a12d8c1225083e703e35499e8c4fccb9dde44d02f0b281c1538ba6f93156
          errors: ""
          warnings: ""
--- a/tests/expectations/compiler/array/array_initialization.out
+++ b/tests/expectations/compiler/array/array_initialization.out
@ -3,16 +3,16 @@ namespace: Compile
 expectation: Pass
 outputs:
  - - compile:
-        - initial_symbol_table: 03c3c6a161c2813b1e23ee475d096e4736319aeade6acd8a5c01d06bb6666d39
-          type_checked_symbol_table: 725f7cb442d1391ac14f33a35f2f08b16172caa56311f0b8f62b0d890a89240e
-          unrolled_symbol_table: 725f7cb442d1391ac14f33a35f2f08b16172caa56311f0b8f62b0d890a89240e
-          initial_ast: 660059d86d20bf51414ba6a346b61dd0c6afa1d975d1ede5d238625971d2ece2
-          unrolled_ast: 660059d86d20bf51414ba6a346b61dd0c6afa1d975d1ede5d238625971d2ece2
-          ssa_ast: 4d231a23b66f1e53a4ee1710c9228f325595440c08b06a40e29021683d47ea17
-          flattened_ast: 351a1c018c70da07816b449a263dae9814c2a834d3ce9d61ee9128f12d664ea3
-          destructured_ast: 9be6cf274ef817fec1e3b6bd65c517c32334046d10cee4e8ecf539a6faff9c01
-          inlined_ast: 9be6cf274ef817fec1e3b6bd65c517c32334046d10cee4e8ecf539a6faff9c01
-          dce_ast: 9be6cf274ef817fec1e3b6bd65c517c32334046d10cee4e8ecf539a6faff9c01
+        - initial_symbol_table: 70f82278604bffb112d1c69574fe103b6028d92a17355fa962c33ff578cc0dd4
+          type_checked_symbol_table: 5d30bcdba029ab2b8623a67f3615905535822dd2e1e2c382b208b46a287f1378
+          unrolled_symbol_table: 5d30bcdba029ab2b8623a67f3615905535822dd2e1e2c382b208b46a287f1378
+          initial_ast: a97de2c42995479c99a0dff4eb94b6b49e95326f07bad36322f39d772749d2f3
+          unrolled_ast: a97de2c42995479c99a0dff4eb94b6b49e95326f07bad36322f39d772749d2f3
+          ssa_ast: de184802ff5f549b150cd8ad5b5d3cda5279559f5b758835b0ed0739166c30e7
+          flattened_ast: d5ea0b2bb81b3471cc8db8ab1c7d39f42eb75d553e6dc9721a1f6ffcd20432f2
+          destructured_ast: 9abafc1a32bfdaa41ed04e463f9ff7ba392cacf96902514ef9f13356519a4270
+          inlined_ast: 9abafc1a32bfdaa41ed04e463f9ff7ba392cacf96902514ef9f13356519a4270
+          dce_ast: 9abafc1a32bfdaa41ed04e463f9ff7ba392cacf96902514ef9f13356519a4270
          bytecode: 5adcc7b9450eedbada20f55565a821769e58c3cacb624d7e45061693d167a079
          errors: ""
          warnings: ""
--- a/tests/expectations/compiler/array/array_of_records.out
+++ b/tests/expectations/compiler/array/array_of_records.out
@ -2,4 +2,4 @@
 namespace: Compile
 expectation: Fail
 outputs:
-  - "Error [ETYC0372089]: An array cannot have a record as an element type\n    --> compiler-test:9:20\n     |\n   9 |     transition foo(a: [bar; 8]) -> u8 {\n     |                    ^\n"
+  - "Error [ETYC0372079]: An array cannot have a record as an element type\n    --> compiler-test:9:20\n     |\n   9 |     transition foo(a: [bar; 8]) -> u8 {\n     |                    ^\n"
--- a/tests/expectations/compiler/array/array_of_structs.out
+++ b/tests/expectations/compiler/array/array_of_structs.out
@ -3,16 +3,16 @@ namespace: Compile
 expectation: Pass
 outputs:
  - - compile:
-        - initial_symbol_table: 26f877e6575661a91a28368e33498e6e6807f3a2027fb798a383c8bddce3218b
-          type_checked_symbol_table: a156cac3eae20c8389876081217052404f77d236c4766e8bb0782d0b9594dffb
-          unrolled_symbol_table: a156cac3eae20c8389876081217052404f77d236c4766e8bb0782d0b9594dffb
-          initial_ast: f220b8582b245809648f0b3697d37949bd2fd02767b68e32271e8b333e51308a
-          unrolled_ast: f220b8582b245809648f0b3697d37949bd2fd02767b68e32271e8b333e51308a
-          ssa_ast: 4023197733bca77f2882eb2f3f2ade5191fbacbeca3732ef79e077d26f629fc1
-          flattened_ast: eaa969f63bfd5010915975bd11f4d8cd9ef88936ffcfa1bf34b1a76af1c2b1e3
-          destructured_ast: b2b04532023156c700a64414ed41664dbb7b36edff06bff46fb5f029fa48e094
-          inlined_ast: b2b04532023156c700a64414ed41664dbb7b36edff06bff46fb5f029fa48e094
-          dce_ast: b2b04532023156c700a64414ed41664dbb7b36edff06bff46fb5f029fa48e094
+        - initial_symbol_table: cc524ab0524f4e93e969758157bb3dd1caaae1c740cffac0b4e35edd15de762d
+          type_checked_symbol_table: 441877c82d8468247a7f62b202bba12cf0fb4f3f6a82d22c2ad8b82814c467a9
+          unrolled_symbol_table: 441877c82d8468247a7f62b202bba12cf0fb4f3f6a82d22c2ad8b82814c467a9
+          initial_ast: b535ad589ab03c8e87e686babd955478e13b0f9c12e9681ec83a33c8d0747b4b
+          unrolled_ast: b535ad589ab03c8e87e686babd955478e13b0f9c12e9681ec83a33c8d0747b4b
+          ssa_ast: 57ce7348c46c7c77089f3c5c3c41a5baac1ccf1e0993b97834ef03af80512a69
+          flattened_ast: caecde473ba965b65b059d7bd0498181d3cedd12403295d6ac344f006788ee49
+          destructured_ast: 2e131d8b41206e76acd1acc71b6f90f78dd2f1c358d775406c251d02dfb8bcb5
+          inlined_ast: 2e131d8b41206e76acd1acc71b6f90f78dd2f1c358d775406c251d02dfb8bcb5
+          dce_ast: 2e131d8b41206e76acd1acc71b6f90f78dd2f1c358d775406c251d02dfb8bcb5
          bytecode: 53499e77217ba5d8d146384234cbed9abe5c47abcbfe547f7bff6fbef4194a56
          errors: ""
          warnings: ""
--- a/tests/expectations/compiler/array/array_size_limits.out
+++ b/tests/expectations/compiler/array/array_size_limits.out
@ -3,16 +3,16 @@ namespace: Compile
 expectation: Pass
 outputs:
  - - compile:
-        - initial_symbol_table: 2736b9080cd1f7ee443af8ec180fb09deba000c8dfe4318dbb30f1709936ecdf
-          type_checked_symbol_table: 01b285a9912018552f939ce1c1fb09776f50d1eb361299d9e9a5eb68287944ff
-          unrolled_symbol_table: 01b285a9912018552f939ce1c1fb09776f50d1eb361299d9e9a5eb68287944ff
-          initial_ast: 4a5225c722d8af4f266ec15f7e9ff05e2c9375daa78f21ee078a5e22198d0adf
-          unrolled_ast: 4a5225c722d8af4f266ec15f7e9ff05e2c9375daa78f21ee078a5e22198d0adf
-          ssa_ast: 1708017fb5ea18ede484da052f593113726832c08a726e6fb824827e4a7ea111
-          flattened_ast: f86fbd97869c73e10ca2626da6ef391655cd94ad1eade81038d5c357e9e47e10
-          destructured_ast: 8c3a2b2387bf2d7114b791c9385e9b48edf355b20653b7454103787da25520d4
-          inlined_ast: 8c3a2b2387bf2d7114b791c9385e9b48edf355b20653b7454103787da25520d4
-          dce_ast: 8c3a2b2387bf2d7114b791c9385e9b48edf355b20653b7454103787da25520d4
+        - initial_symbol_table: 7dbe7c24a1ebacb04fe3abf727465e3644f01f3ba6af3eb4cf67d31ec2d106f9
+          type_checked_symbol_table: 03664c610b8f5c3fa99a9127998bc9f69839104486c05b2389258a7104c312d2
+          unrolled_symbol_table: 03664c610b8f5c3fa99a9127998bc9f69839104486c05b2389258a7104c312d2
+          initial_ast: f77c072a2483b8777d1e14d772c3a1699b80126d3cafcc65a28dcdab84874e89
+          unrolled_ast: f77c072a2483b8777d1e14d772c3a1699b80126d3cafcc65a28dcdab84874e89
+          ssa_ast: e866e3eabbc719b2f4f94f1be63911de4ded1c85563cd0c45be052ae4aafd35f
+          flattened_ast: d522d3c288c1498ffd652fb2a4ad15c3062c284d8fdd7df38d213b1c950ca3e2
+          destructured_ast: 56e9f0b79ea83395c7a20e15f534a8cb8398f1fde5a1467c56d2f845acd02ed2
+          inlined_ast: 56e9f0b79ea83395c7a20e15f534a8cb8398f1fde5a1467c56d2f845acd02ed2
+          dce_ast: 56e9f0b79ea83395c7a20e15f534a8cb8398f1fde5a1467c56d2f845acd02ed2
          bytecode: 87676231f14ea25fc123a2569754b9ff0dca4a4f7cee0eb4ed6419174dd0af4c
          errors: ""
          warnings: ""
--- a/tests/expectations/compiler/array/array_too_large_fail.out
+++ b/tests/expectations/compiler/array/array_too_large_fail.out
@ -2,4 +2,4 @@
 namespace: Compile
 expectation: Fail
 outputs:
-  - "Error [ETYC0372087]: An array cannot have more than 32 elements, found one with 33 elements\n    --> compiler-test:4:20\n     |\n   4 |     transition foo(a: [bool; 33]) -> bool {\n     |                    ^\n"
+  - "Error [ETYC0372077]: An array cannot have more than 32 elements, found one with 33 elements\n    --> compiler-test:4:20\n     |\n   4 |     transition foo(a: [bool; 33]) -> bool {\n     |                    ^\n"
--- a/tests/expectations/compiler/array/array_too_small_fail.out
+++ b/tests/expectations/compiler/array/array_too_small_fail.out
@ -2,4 +2,4 @@
 namespace: Compile
 expectation: Fail
 outputs:
-  - "Error [ETYC0372086]: An array cannot be empty\n    --> compiler-test:4:20\n     |\n   4 |     transition foo(a: [bool; 0]) -> bool {\n     |                    ^\n"
+  - "Error [ETYC0372076]: An array cannot be empty\n    --> compiler-test:4:20\n     |\n   4 |     transition foo(a: [bool; 0]) -> bool {\n     |                    ^\n"
--- a/tests/expectations/compiler/array/array_with_units_fail.out
+++ b/tests/expectations/compiler/array/array_with_units_fail.out
@ -2,4 +2,4 @@
 namespace: Compile
 expectation: Fail
 outputs:
-  - "Error [ETYC0372063]: Unit expressions can only be used in return statements.\n    --> compiler-test:5:29\n     |\n   5 |         let bar: [(); 2] = [(), ()];\n     |                             ^^\nError [ETYC0372063]: Unit expressions can only be used in return statements.\n    --> compiler-test:5:33\n     |\n   5 |         let bar: [(); 2] = [(), ()];\n     |                                 ^^\nError [ETYC0372038]: Function must return a value.\n    --> compiler-test:4:5\n     |\n   4 |     transition foo() -> bool {\n   5 |         let bar: [(); 2] = [(), ()];\n   6 |     }\n     |     ^\n"
+  - "Error [ETYC0372056]: Unit expressions can only be used in return statements.\n    --> compiler-test:5:29\n     |\n   5 |         let bar: [(); 2] = [(), ()];\n     |                             ^^\nError [ETYC0372056]: Unit expressions can only be used in return statements.\n    --> compiler-test:5:33\n     |\n   5 |         let bar: [(); 2] = [(), ()];\n     |                                 ^^\nError [ETYC0372036]: Function must return a value.\n    --> compiler-test:4:5\n     |\n   4 |     transition foo() -> bool {\n   5 |         let bar: [(); 2] = [(), ()];\n   6 |     }\n     |     ^\n"
--- a/tests/expectations/compiler/boolean/and.out
+++ b/tests/expectations/compiler/boolean/and.out
@ -3,16 +3,16 @@ namespace: Compile
 expectation: Pass
 outputs:
  - - compile:
-        - initial_symbol_table: c2554df804e76bce64e5beedbf8d8e065838dbcbd414e55b572828825d0d697b
-          type_checked_symbol_table: 22b375401300c7518693377bd090bac20ee7b423925434817e9d88c889e7deba
-          unrolled_symbol_table: 22b375401300c7518693377bd090bac20ee7b423925434817e9d88c889e7deba
-          initial_ast: cb1bfce0497f40547211ffaeffda34260f6757ae7d01a459b18bc67b8ac8f34a
-          unrolled_ast: cb1bfce0497f40547211ffaeffda34260f6757ae7d01a459b18bc67b8ac8f34a
-          ssa_ast: 2e2f85fc41a676f3000db2d8458423fdbc30249f4adc8586cdd5c8dd4c71f54f
-          flattened_ast: 262edbbd14bb015caaf058b5e221350ee434c9e677588cedf934230ef546ad18
-          destructured_ast: f38da35449d08acc987f25287f0626bc904dedd91b184af73f2dc01e68cfaae1
-          inlined_ast: f38da35449d08acc987f25287f0626bc904dedd91b184af73f2dc01e68cfaae1
-          dce_ast: f38da35449d08acc987f25287f0626bc904dedd91b184af73f2dc01e68cfaae1
+        - initial_symbol_table: bd10063c57991ab406a4d0ed78569254ff3296c4e22dec59f23b5f5683698704
+          type_checked_symbol_table: ebd01f7299929e2253c4f53ad0ae2f0f4b14cf1bc3e4087b59ba2c67c4f78b40
+          unrolled_symbol_table: ebd01f7299929e2253c4f53ad0ae2f0f4b14cf1bc3e4087b59ba2c67c4f78b40
+          initial_ast: 4211fd2afa8b49f29654164ba4a1013c789c9e56bbbab81991246029c42b2b1e
+          unrolled_ast: 4211fd2afa8b49f29654164ba4a1013c789c9e56bbbab81991246029c42b2b1e
+          ssa_ast: b2cacb5e41cca31970c79a3b38aae2f1011e2524d3418d59dea48a504f427d00
+          flattened_ast: 57ce47c3c696e3a756f07d9612c4f476cb9fb2c7605330f46d4b1160c527f65a
+          destructured_ast: c29c89d3a0c19970df63e26418453b8709ff3fb6bbb3af4b74abb1a9f18b5539
+          inlined_ast: c29c89d3a0c19970df63e26418453b8709ff3fb6bbb3af4b74abb1a9f18b5539
+          dce_ast: c29c89d3a0c19970df63e26418453b8709ff3fb6bbb3af4b74abb1a9f18b5539
          bytecode: 134904b86b96581876c2ca0c6ead651dda0dc9f2fb6dc583400133410b7deede
          errors: ""
          warnings: ""
--- a/tests/expectations/compiler/boolean/conditional.out
+++ b/tests/expectations/compiler/boolean/conditional.out
@ -3,16 +3,16 @@ namespace: Compile
 expectation: Pass
 outputs:
  - - compile:
-        - initial_symbol_table: c2554df804e76bce64e5beedbf8d8e065838dbcbd414e55b572828825d0d697b
-          type_checked_symbol_table: 22b375401300c7518693377bd090bac20ee7b423925434817e9d88c889e7deba
-          unrolled_symbol_table: 22b375401300c7518693377bd090bac20ee7b423925434817e9d88c889e7deba
-          initial_ast: e4a47461dd96ca03ee0cf5f66cd341212a64411225adfe1f4650b5a0244dc505
-          unrolled_ast: e4a47461dd96ca03ee0cf5f66cd341212a64411225adfe1f4650b5a0244dc505
-          ssa_ast: 4b157ccde4b193233579fc52a44a24b89ab462bf370717bf274003f65e143567
-          flattened_ast: 959bdc62988f257cc6d6c649d512b67e8082bf5e03a4631f0b4b6a5249a3a657
-          destructured_ast: 5d5379f88c7a5fef32fc9bf9f7f86ae3f5d3f8044d24d7846f8cec26af6a0902
-          inlined_ast: 5d5379f88c7a5fef32fc9bf9f7f86ae3f5d3f8044d24d7846f8cec26af6a0902
-          dce_ast: 5d5379f88c7a5fef32fc9bf9f7f86ae3f5d3f8044d24d7846f8cec26af6a0902
+        - initial_symbol_table: bd10063c57991ab406a4d0ed78569254ff3296c4e22dec59f23b5f5683698704
+          type_checked_symbol_table: ebd01f7299929e2253c4f53ad0ae2f0f4b14cf1bc3e4087b59ba2c67c4f78b40
+          unrolled_symbol_table: ebd01f7299929e2253c4f53ad0ae2f0f4b14cf1bc3e4087b59ba2c67c4f78b40
+          initial_ast: 0d8dda87869714e40756fd2f98510d272650aaa22fa3d52102e2d3a0f581bf6d
+          unrolled_ast: 0d8dda87869714e40756fd2f98510d272650aaa22fa3d52102e2d3a0f581bf6d
+          ssa_ast: 25b083a522a1f43a2644fb462797a2f4d9e575846652b2f970f02337c3dc7569
+          flattened_ast: 77fba1f1b2ce5fcbe011e36806937612525ab106fb65575c667afcf051741656
+          destructured_ast: af919e48fb51788ddae4a76961da635623877f7270fc2948bb96c6a4aebda245
+          inlined_ast: af919e48fb51788ddae4a76961da635623877f7270fc2948bb96c6a4aebda245
+          dce_ast: af919e48fb51788ddae4a76961da635623877f7270fc2948bb96c6a4aebda245
          bytecode: 56a9fa48a00d1b38b6f60a93ef2168b2c0ce9c23ba3cb7bffa40debfc1b16180
          errors: ""
          warnings: ""
--- a/tests/expectations/compiler/boolean/equal.out
+++ b/tests/expectations/compiler/boolean/equal.out
@ -3,16 +3,16 @@ namespace: Compile
 expectation: Pass
 outputs:
  - - compile:
-        - initial_symbol_table: c2554df804e76bce64e5beedbf8d8e065838dbcbd414e55b572828825d0d697b
-          type_checked_symbol_table: 22b375401300c7518693377bd090bac20ee7b423925434817e9d88c889e7deba
-          unrolled_symbol_table: 22b375401300c7518693377bd090bac20ee7b423925434817e9d88c889e7deba
-          initial_ast: 61217aec18c2073eee84ec4213b7bc45ed3bf4743a7dd0f438697e081a881dc7
-          unrolled_ast: 61217aec18c2073eee84ec4213b7bc45ed3bf4743a7dd0f438697e081a881dc7
-          ssa_ast: 2279e268ed5b67453ec005211004ebee30d7577737a87ad4bc21e72c36be2db0
-          flattened_ast: a435047224da26164211d0859f21ac93e7c862dfd8d6b7ca2309e07dad0f8099
-          destructured_ast: eec8bc555a48e191e4895ae8e073c9e01e32e4a4c32f560a672ed4000fbfe233
-          inlined_ast: eec8bc555a48e191e4895ae8e073c9e01e32e4a4c32f560a672ed4000fbfe233
-          dce_ast: eec8bc555a48e191e4895ae8e073c9e01e32e4a4c32f560a672ed4000fbfe233
+        - initial_symbol_table: bd10063c57991ab406a4d0ed78569254ff3296c4e22dec59f23b5f5683698704
+          type_checked_symbol_table: ebd01f7299929e2253c4f53ad0ae2f0f4b14cf1bc3e4087b59ba2c67c4f78b40
+          unrolled_symbol_table: ebd01f7299929e2253c4f53ad0ae2f0f4b14cf1bc3e4087b59ba2c67c4f78b40
+          initial_ast: b5d6bd78a15f45ab391eab1ad69ea09a430e15cc57cf7247129d0a8647b729df
+          unrolled_ast: b5d6bd78a15f45ab391eab1ad69ea09a430e15cc57cf7247129d0a8647b729df
+          ssa_ast: 47dc208e70efa04694b2abcf8a43cf26bdffae50a3a0a095d50c54e4fac3802c
+          flattened_ast: 98fafaee7aae3e3717cb2fd86e18b1e7c2bc05ba7665528365ede914b5904f40
+          destructured_ast: b1c1205ee4abc7a755373da17529b3c538151a3ad7e33387a0e1305792de5cce
+          inlined_ast: b1c1205ee4abc7a755373da17529b3c538151a3ad7e33387a0e1305792de5cce
+          dce_ast: b1c1205ee4abc7a755373da17529b3c538151a3ad7e33387a0e1305792de5cce
          bytecode: 2332d5b7ed9910dc65c885e1aeedbbde00e02d95a55caa300a9cb72456707034
          errors: ""
          warnings: ""
--- a/tests/expectations/compiler/boolean/not_equal.out
+++ b/tests/expectations/compiler/boolean/not_equal.out
@ -3,16 +3,16 @@ namespace: Compile
 expectation: Pass
 outputs:
  - - compile:
-        - initial_symbol_table: c2554df804e76bce64e5beedbf8d8e065838dbcbd414e55b572828825d0d697b
-          type_checked_symbol_table: 22b375401300c7518693377bd090bac20ee7b423925434817e9d88c889e7deba
-          unrolled_symbol_table: 22b375401300c7518693377bd090bac20ee7b423925434817e9d88c889e7deba
-          initial_ast: c16f3e4533f6a833dd3429cdace72599198d9ffc0cff0c5262f7d2d817aecad2
-          unrolled_ast: c16f3e4533f6a833dd3429cdace72599198d9ffc0cff0c5262f7d2d817aecad2
-          ssa_ast: 4cb449adc13d9fc054d35a4306c031d95833037c377da5fc56b4a76f2eabaa9c
-          flattened_ast: 168cdaccc60a15bd504f5d1a86998611aa82892610386f4cd5258abc05643f22
-          destructured_ast: 2428bc52f2407de9746fd7eda15cfea48b39f6175906a5a42c72e256545e0fac
-          inlined_ast: 2428bc52f2407de9746fd7eda15cfea48b39f6175906a5a42c72e256545e0fac
-          dce_ast: 2428bc52f2407de9746fd7eda15cfea48b39f6175906a5a42c72e256545e0fac
+        - initial_symbol_table: bd10063c57991ab406a4d0ed78569254ff3296c4e22dec59f23b5f5683698704
+          type_checked_symbol_table: ebd01f7299929e2253c4f53ad0ae2f0f4b14cf1bc3e4087b59ba2c67c4f78b40
+          unrolled_symbol_table: ebd01f7299929e2253c4f53ad0ae2f0f4b14cf1bc3e4087b59ba2c67c4f78b40
+          initial_ast: 9832f7af734c0240c484d0c2daffc26aa891f74f75f9bc082c2f36f5985240e6
+          unrolled_ast: 9832f7af734c0240c484d0c2daffc26aa891f74f75f9bc082c2f36f5985240e6
+          ssa_ast: 4a4ffea8c607062010c1174fc0dcd1b9297125099ae63821f9a7c89dc9eff8ab
+          flattened_ast: f590a0089fbc846a060d737f2d6bd585cf423843ccd56b04d8768d48b8dc17e7
+          destructured_ast: 881aece8c88d9509eabf565698cd54259ae40632db3bb4b8d28c7e4db181833a
+          inlined_ast: 881aece8c88d9509eabf565698cd54259ae40632db3bb4b8d28c7e4db181833a
+          dce_ast: 881aece8c88d9509eabf565698cd54259ae40632db3bb4b8d28c7e4db181833a
          bytecode: 990eee0b87d70df046bad969201ad8afabff10162eb70c00f837fde81fed4104
          errors: ""
          warnings: ""
--- a/tests/expectations/compiler/boolean/operator_methods.out
+++ b/tests/expectations/compiler/boolean/operator_methods.out
@ -3,16 +3,16 @@ namespace: Compile
 expectation: Pass
 outputs:
  - - compile:
-        - initial_symbol_table: c2554df804e76bce64e5beedbf8d8e065838dbcbd414e55b572828825d0d697b
-          type_checked_symbol_table: a8f7a4e237c8966091f6c5fdef5b980e067d7d91ebc40ab89dccdc6e36de71fb
-          unrolled_symbol_table: a8f7a4e237c8966091f6c5fdef5b980e067d7d91ebc40ab89dccdc6e36de71fb
-          initial_ast: 34ef2d8c201f7799c13ebdffbc40ae7ce6cf81c04e30286b7eae833c6fc4b356
-          unrolled_ast: 34ef2d8c201f7799c13ebdffbc40ae7ce6cf81c04e30286b7eae833c6fc4b356
-          ssa_ast: fb94a65958ce35f26e3b445f2069f5a728bd48c94517eefa84a98ba589b22df8
-          flattened_ast: 902a44e03c34cd3c2045243b58377180ee78d460d017bb4e9ce80cc48b5a1d8c
-          destructured_ast: 81519b70dd5b8f52dc24a3ee25e5f00378763639af72cc88fbd6330d66219392
-          inlined_ast: 81519b70dd5b8f52dc24a3ee25e5f00378763639af72cc88fbd6330d66219392
-          dce_ast: e4f6dca808d318e43ba9fff9e726ed58beb588c47196d1d7197805620352c29c
+        - initial_symbol_table: bd10063c57991ab406a4d0ed78569254ff3296c4e22dec59f23b5f5683698704
+          type_checked_symbol_table: d2b055e782e24494e1a03542237e630d726006d340be60d2a57d061c2aff1205
+          unrolled_symbol_table: d2b055e782e24494e1a03542237e630d726006d340be60d2a57d061c2aff1205
+          initial_ast: c97a474d84294eeef08309b35ad687acc562fa138ab6ba66dbd099449c470d92
+          unrolled_ast: c97a474d84294eeef08309b35ad687acc562fa138ab6ba66dbd099449c470d92
+          ssa_ast: d5dc0dfaae664f6f6a6429fa26b5f93949d9eaf011650cc77eea4e44a7a7ee77
+          flattened_ast: b62534ac3f8a00e1ab60be2f43416047f63be07b55e5fc1dc65e410fa5e17ece
+          destructured_ast: 7a742b9a3f2a47241e09f3f0ba1fbf9beddb39dd03070578869e4733d176d5c4
+          inlined_ast: 7a742b9a3f2a47241e09f3f0ba1fbf9beddb39dd03070578869e4733d176d5c4
+          dce_ast: b58413720432c2e9194aba0ff77579cc75ad2496d65841a183a1ab7cd697f195
          bytecode: bb260232bbd0ccede368961a31abeef5edc7e00cab3348b4b8518d4e5798a6b5
          errors: ""
          warnings: ""
--- a/tests/expectations/compiler/boolean/or.out
+++ b/tests/expectations/compiler/boolean/or.out
@ -3,16 +3,16 @@ namespace: Compile
 expectation: Pass
 outputs:
  - - compile:
-        - initial_symbol_table: c2554df804e76bce64e5beedbf8d8e065838dbcbd414e55b572828825d0d697b
-          type_checked_symbol_table: 22b375401300c7518693377bd090bac20ee7b423925434817e9d88c889e7deba
-          unrolled_symbol_table: 22b375401300c7518693377bd090bac20ee7b423925434817e9d88c889e7deba
-          initial_ast: b1d21cb0ba71715333e75efca70fe0bcf972fe6cd829450005477642b87073fe
-          unrolled_ast: b1d21cb0ba71715333e75efca70fe0bcf972fe6cd829450005477642b87073fe
-          ssa_ast: 2d68d235dcd42e1f8bc6c6a7b33df61ea8f568ef47f0f8d45ec829f5ba322747
-          flattened_ast: 69ba227eb312a96c98b9bd948e0211f3d5a5ab776baee208d240ab26cbf44f9c
-          destructured_ast: a05609fc7fb96a7c9287782e1077381d674700017b8340a40c1515af3c97ae50
-          inlined_ast: a05609fc7fb96a7c9287782e1077381d674700017b8340a40c1515af3c97ae50
-          dce_ast: a05609fc7fb96a7c9287782e1077381d674700017b8340a40c1515af3c97ae50
+        - initial_symbol_table: bd10063c57991ab406a4d0ed78569254ff3296c4e22dec59f23b5f5683698704
+          type_checked_symbol_table: ebd01f7299929e2253c4f53ad0ae2f0f4b14cf1bc3e4087b59ba2c67c4f78b40
+          unrolled_symbol_table: ebd01f7299929e2253c4f53ad0ae2f0f4b14cf1bc3e4087b59ba2c67c4f78b40
+          initial_ast: 8289a856e0dd13b4b6d559b8640827fced50219833fe76b3892eb8974e1aa0db
+          unrolled_ast: 8289a856e0dd13b4b6d559b8640827fced50219833fe76b3892eb8974e1aa0db
+          ssa_ast: aead09e24ea21c7a93f2b0cce2a81dff5d2622280a77fac258b070d7b369eef2
+          flattened_ast: 94fd586fed2536fa9a5b93b637fe7b84da4b1086d279ff093d06c84626ea310c
+          destructured_ast: 7d71ea026bfda2662006a42d7269ba2342f7388c0275bf1e31ab26ee9455d937
+          inlined_ast: 7d71ea026bfda2662006a42d7269ba2342f7388c0275bf1e31ab26ee9455d937
+          dce_ast: 7d71ea026bfda2662006a42d7269ba2342f7388c0275bf1e31ab26ee9455d937
          bytecode: c3a0c03f4324a6dd6baea42e664ffad91868714739e03525dcbc968582007ceb
          errors: ""
          warnings: ""
--- a/tests/expectations/compiler/console/assert.out
+++ b/tests/expectations/compiler/console/assert.out
@ -3,16 +3,16 @@ namespace: Compile
 expectation: Pass
 outputs:
  - - compile:
-        - initial_symbol_table: cd0dd5b8c35f4122c143671a9c75e32b149bb2d85693ae62cbb4b5368ac38892
-          type_checked_symbol_table: 188525122dabaa0f219515b75de1edad0bb16a433c9f45c197b06a35c5982a12
-          unrolled_symbol_table: 188525122dabaa0f219515b75de1edad0bb16a433c9f45c197b06a35c5982a12
-          initial_ast: f86190debc635d37b9a18467587d9836ad3bcc07b8ec6a263267c928b81c85c9
-          unrolled_ast: f86190debc635d37b9a18467587d9836ad3bcc07b8ec6a263267c928b81c85c9
-          ssa_ast: 115eafc8a3d7b48c79363e4c8a56314d73407e4fed1d56056fcbabf752060fcf
-          flattened_ast: 75138500773ddba4b63ea9199c36f24c48a3169977fa70fc4adfbd64daeb71df
-          destructured_ast: 0cd440866d288992b0795dbcc202791d7969c088378be37c2e6828f37407fe9c
-          inlined_ast: 0cd440866d288992b0795dbcc202791d7969c088378be37c2e6828f37407fe9c
-          dce_ast: 0cd440866d288992b0795dbcc202791d7969c088378be37c2e6828f37407fe9c
+        - initial_symbol_table: cc0ace51fc7bdb52fb3af1d348c2a02bc30392dc5b77e3d07c435275a71bbded
+          type_checked_symbol_table: b6e95b2f1deb42b782c3fce0f39f36b830e9fdf5ffd9cdcae210da52fd427937
+          unrolled_symbol_table: b6e95b2f1deb42b782c3fce0f39f36b830e9fdf5ffd9cdcae210da52fd427937
+          initial_ast: 82f9d9a2c3127798eb8dabe92a46c7c5eb91158a6dcd6d2fba4bcd8ac85b39f4
+          unrolled_ast: 82f9d9a2c3127798eb8dabe92a46c7c5eb91158a6dcd6d2fba4bcd8ac85b39f4
+          ssa_ast: 09780e810d37a7b20498d017ef2c5a1f5ae6b17e3653815db7303f32771355dd
+          flattened_ast: 6b73daf0fa5555e06fb3bd1ddd35f349acd0a6dc59793ec7cee3192845d3f0ec
+          destructured_ast: 523cc1deae6e01659e061d875157d9d2168caa54cfec0becbe98886347a32082
+          inlined_ast: 523cc1deae6e01659e061d875157d9d2168caa54cfec0becbe98886347a32082
+          dce_ast: 523cc1deae6e01659e061d875157d9d2168caa54cfec0becbe98886347a32082
          bytecode: 3c391009be59588562aa4a34d1b00508cd253c94d35a66741962352c76a92633
          errors: ""
          warnings: ""
--- a/tests/expectations/compiler/console/conditional_assert.out
+++ b/tests/expectations/compiler/console/conditional_assert.out
@ -3,16 +3,16 @@ namespace: Compile
 expectation: Pass
 outputs:
  - - compile:
-        - initial_symbol_table: fa3884ac54aff755ef2586393599721511b7ce135c9bcbe74cabff30886e0b80
-          type_checked_symbol_table: 23d793fbaa974bea4557caf161cb9e8e4f653b8513007155c7b6d790e3bdcaff
-          unrolled_symbol_table: 23d793fbaa974bea4557caf161cb9e8e4f653b8513007155c7b6d790e3bdcaff
-          initial_ast: b868f87536ee7782c8fbeff535d6df882416886dd5dfed4f9363f350c9e55511
-          unrolled_ast: b868f87536ee7782c8fbeff535d6df882416886dd5dfed4f9363f350c9e55511
-          ssa_ast: c34387f2e4798e36e23f5b992ef13f39dd128ea4f38bea1fa6d931a8564a3744
-          flattened_ast: ac00b75d6a02b9d48a1ee2ed807cc12554f0683c2bc74540aa096ad214befeb8
-          destructured_ast: d8b6e33f700734e18582d78a34073151f830deed7baacef745415ee3e9451879
-          inlined_ast: d8b6e33f700734e18582d78a34073151f830deed7baacef745415ee3e9451879
-          dce_ast: d8b6e33f700734e18582d78a34073151f830deed7baacef745415ee3e9451879
+        - initial_symbol_table: f0bed2aa2800ab9ab710aa8e64ee5f567bc7a420feaf6a6dc24c671465eec85c
+          type_checked_symbol_table: 2c1513724ca91ce0ed7080a1eff4315e3317b9eae0c231ea5f1b3f1633e3f259
+          unrolled_symbol_table: 2c1513724ca91ce0ed7080a1eff4315e3317b9eae0c231ea5f1b3f1633e3f259
+          initial_ast: 9f47a2232ae221ef48e0d1f163c79ddf4b7082cbf305b1f4819a397dd2bc87c8
+          unrolled_ast: 9f47a2232ae221ef48e0d1f163c79ddf4b7082cbf305b1f4819a397dd2bc87c8
+          ssa_ast: e68b1ccbbdf9c74e701eda8754220a4ccd74da3fa92cea72dd617b324fcd0360
+          flattened_ast: 604f03baf34c2d8f7c4a1bf20fff796f3fbb2dcaee1ae6b659203d0a2ca0fc06
+          destructured_ast: c75a437a3a2368242dbd0855ef66cf83f42e62ff2b1beec56fd67c55bc1a9ae8
+          inlined_ast: c75a437a3a2368242dbd0855ef66cf83f42e62ff2b1beec56fd67c55bc1a9ae8
+          dce_ast: c75a437a3a2368242dbd0855ef66cf83f42e62ff2b1beec56fd67c55bc1a9ae8
          bytecode: 3ff716b96c532801f4fa5310f4eedf8f96fe15bd7db3bf087e7b64a161153945
          errors: ""
          warnings: ""
--- a/tests/expectations/compiler/constants/const_tuple_declaration.out
+++ b/tests/expectations/compiler/constants/const_tuple_declaration.out
@ -3,16 +3,16 @@ namespace: Compile
 expectation: Pass
 outputs:
  - - compile:
-        - initial_symbol_table: 4257c099771eba0ebe56caedd81d40740538873eaa91636b4d2ad01ca0c11dee
-          type_checked_symbol_table: d8240d6895acdb3c1c6f527c87077b41a7ab85a1fc62cda388b51835da6ffa44
-          unrolled_symbol_table: 02f0a9e26712b0acf1fc296ec9613e364e23254fb0bd0eb162b5404b0bf1dfe3
-          initial_ast: cdc5af7d6affe7f7b920e862890f7d1243dc796aee21811427c3c4b952888a82
-          unrolled_ast: 2fc7bc4cc122c854272b545de15d6a96f9b0005c32ab5eb1acd6f367cb758faa
-          ssa_ast: 2d2ff690858a75e0f0c731a11899732c4902b36d1e73550c443e82a6b988aaae
-          flattened_ast: 414cedfe3326d0f495725f44686c5a4a456478ca3a9509e031918e86459999a3
-          destructured_ast: 1c967171bc4c557ea7dccc89efd33436db8b49d606da5df40db2cb88e7bfa4f9
-          inlined_ast: 1c967171bc4c557ea7dccc89efd33436db8b49d606da5df40db2cb88e7bfa4f9
-          dce_ast: ef7bf00f2dc81167ba1382fb0f28667b319b44ed4245c4bc29d6f978cdc7cc79
+        - initial_symbol_table: 7b7639da9364ec7e9fbdbeca060c73f5f0d338486b6d823b0b4704d23f9427ab
+          type_checked_symbol_table: 0802a02c884f0c8c409af2c2e5832393edc51a289dd6eebfebfc4ce2de29ba65
+          unrolled_symbol_table: 435885a17bd622f24f237a8d2eb4ee510a4977dbabd380530ae0d2e8cac26101
+          initial_ast: f869a6367fce6da2877d7b93ebdc2237cace8c4fee4ed78b56f4e34915c33044
+          unrolled_ast: 392c16f3801e0b877b2588423b77048e06c5e495fe3bfc22aa39a3d65f5def00
+          ssa_ast: f5544e125cc31c03bbce4423308625e45c4564032b639d58bf773e5bfac4b877
+          flattened_ast: 04f6155825ee60abad4578b5c1632f81f3f8cd4e3cf4f5cdbade157fb9a8e24d
+          destructured_ast: a04fa1a2c7e74a77c5a7668db476c298e4415d6a4e9e45eb23ad4a1384f802a1
+          inlined_ast: a04fa1a2c7e74a77c5a7668db476c298e4415d6a4e9e45eb23ad4a1384f802a1
+          dce_ast: 1f1288f1f9f8b1d6d9e5344a4eb39f05524effb10517202346dd08c47d4e7fe3
          bytecode: acfb8fc365ba153cf8598a04dad8ff4ac65b9df6c6356cb077fcf9dafbead7e9
          errors: ""
          warnings: ""
--- a/tests/expectations/compiler/constants/const_type_error_fail.out
+++ b/tests/expectations/compiler/constants/const_type_error_fail.out
@ -2,4 +2,4 @@
 namespace: Compile
 expectation: Fail
 outputs:
-  - "Error [ETYC0372062]: The left-hand side of a `DefinitionStatement` can only be an identifier or tuple. Note that a tuple must contain at least two elements.\n    --> compiler-test:7:9\n     |\n   7 |         const A: () = ();\n     |         ^^^^^^^^^^^^^^^^\nError [ETYC0372080]: The value of a const declaration must be a literal\n    --> compiler-test:7:9\n     |\n   7 |         const A: () = ();\n     |         ^^^^^^^^^^^^^^^^\nError [ETYC0372063]: Unit expressions can only be used in return statements.\n    --> compiler-test:7:23\n     |\n   7 |         const A: () = ();\n     |                       ^^\nError [ETYC0372080]: The value of a const declaration must be a literal\n    --> compiler-test:8:9\n     |\n   8 |         const B: u8 = ((1u8,1u8),1u8);\n     |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^\nError [ETYC0372023]: Tuples must be explicitly typed in Leo\n    --> compiler-test:8:23\n     |\n   8 |         const B: u8 = ((1u8,1u8),1u8);\n     |                       ^^^^^^^^^^^^^^^\n     |\n     = The function definition must match the function return statement\n"
+  - "Error [ETYC0372055]: The left-hand side of a `DefinitionStatement` can only be an identifier or tuple. Note that a tuple must contain at least two elements.\n    --> compiler-test:7:9\n     |\n   7 |         const A: () = ();\n     |         ^^^^^^^^^^^^^^^^\nError [ETYC0372070]: The value of a const declaration must be a literal\n    --> compiler-test:7:9\n     |\n   7 |         const A: () = ();\n     |         ^^^^^^^^^^^^^^^^\nError [ETYC0372056]: Unit expressions can only be used in return statements.\n    --> compiler-test:7:23\n     |\n   7 |         const A: () = ();\n     |                       ^^\nError [ETYC0372070]: The value of a const declaration must be a literal\n    --> compiler-test:8:9\n     |\n   8 |         const B: u8 = ((1u8,1u8),1u8);\n     |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^\nError [ETYC0372023]: Tuples must be explicitly typed in Leo\n    --> compiler-test:8:23\n     |\n   8 |         const B: u8 = ((1u8,1u8),1u8);\n     |                       ^^^^^^^^^^^^^^^\n     |\n     = The function definition must match the function return statement\n"
--- a/tests/expectations/compiler/constants/constant_finalize.out
+++ b/tests/expectations/compiler/constants/constant_finalize.out
@ -3,16 +3,16 @@ namespace: Compile
 expectation: Pass
 outputs:
  - - compile:
-        - initial_symbol_table: 8bdb0f229581daa96817e49fd8d44ccdee0a55ce261ffab7fdc2240f38c55699
-          type_checked_symbol_table: cb90915ed8f68c317998968f797090ca6e6636de1af45a37352759be994bc6fb
-          unrolled_symbol_table: 0414309645ab69b22ea14af6d95eedd3efe891575884267b1bd4e8842288eb8b
-          initial_ast: 7605e29ba9dd5e1fab7cdfb8aa89d2775203f5273b84735a3440c545ebffce03
-          unrolled_ast: 517bd11485cc6cabac08d36b8d0bb4e6ab7eed9182b10cd04ef6a0f277e0465b
-          ssa_ast: ab7055ad83cbd497b5561391dee9a179bd4d7b577de91ed9dc72582cd9b72c91
-          flattened_ast: 703074571d3f3479b96465ca1dca76b05b1e1d34d4783d06dfc04bd1dea0dfe2
-          destructured_ast: e2ec29080262ba2b3f1be10263b24950edd7920b38c86eb9295ef7e7baea5120
-          inlined_ast: e2ec29080262ba2b3f1be10263b24950edd7920b38c86eb9295ef7e7baea5120
-          dce_ast: e2ec29080262ba2b3f1be10263b24950edd7920b38c86eb9295ef7e7baea5120
-          bytecode: 34335e40c3ca26e00044d055cc0cb8d262fce1ac49a4940b36b1136e0772d305
+        - initial_symbol_table: 912affc970cbcb05b0ad9fb1ff1a5598cb6972f9b2a63906ae7754fab97e6455
+          type_checked_symbol_table: 8fa2b239eaf62f85f56a7ba412d90304d5135a47f9c3efb24267fd811418c8f3
+          unrolled_symbol_table: ba551492d8e477c0853c9c5935dd6c08ee4e9c5b12c72da782e0a1f21eff3f38
+          initial_ast: a508084b0849c8fc8132a326646f60b7d322645f51bb7dfb2c073d92d171f2ba
+          unrolled_ast: 8adac3668b7a9e3d711058042f008c7e6bde85a3c4a0d5095d31913fb144816c
+          ssa_ast: ee38d89f9cad35f48c927e99cef9aad239f4f636c6a7a6d854c8c41ed0001b35
+          flattened_ast: cb263db54e096e6b3eddb79df68c2e30a2d75f1623d9d318af73bc5773a85599
+          destructured_ast: 13e294f147c100fdac2457fbee58edfca364ef8d83b79a36a5ac9afbeef487be
+          inlined_ast: 7f34786ee8bea7c9f1a4c0367a32b2680e3d89c0f8b4fe5822f347cb06d17529
+          dce_ast: 7f34786ee8bea7c9f1a4c0367a32b2680e3d89c0f8b4fe5822f347cb06d17529
+          bytecode: 1f274ff221668a27f086b94c9485486b9d5fe1374384f9092bb3198632da3b91
          errors: ""
          warnings: ""
--- a/tests/expectations/compiler/constants/constant_loop_bound.out
+++ b/tests/expectations/compiler/constants/constant_loop_bound.out
@ -3,16 +3,16 @@ namespace: Compile
 expectation: Pass
 outputs:
  - - compile:
-        - initial_symbol_table: 9d2621a6655c3b4fc488b4303557b99756de606508b19dc917a2d2c004d05b3c
-          type_checked_symbol_table: 63e4810a08f666b904fa09a6c923ddaed25dcefd5ab69a9dbfb0067f5563c494
-          unrolled_symbol_table: 6979a1a8c5d4216808b49ffdd08823c90bb7bb453ba0a24f929a4e8a4713f806
-          initial_ast: 9ebde40ca2971771bf7ff4af11a88482f32aee303723c87cfe5b4a0795a560bb
-          unrolled_ast: 338b820767e2fc502f9530c16635f6a8589c0c48c18157f3d76c924193b65b03
-          ssa_ast: c3265796218829ddfdd6e34b50beaefadabdb49695cbf3034330442571766e61
-          flattened_ast: e86dc2b1a3662842b487fc5f9c1054034cbf24be359b13bc5fb7ea45c38fb3e6
-          destructured_ast: 2aea0a9aa14833cd1fb59d65618d66326ac3994cfaa72f646ca6e0b0bfdc081c
-          inlined_ast: 2aea0a9aa14833cd1fb59d65618d66326ac3994cfaa72f646ca6e0b0bfdc081c
-          dce_ast: 2aea0a9aa14833cd1fb59d65618d66326ac3994cfaa72f646ca6e0b0bfdc081c
+        - initial_symbol_table: dd4d3c9b32a75f56f5f5a8615defef06166452c6ff63902a31f1b35e2534befa
+          type_checked_symbol_table: 3a2728e2385287273d47e1b3764b59db6f32b28f25098c76dd961a93e392f903
+          unrolled_symbol_table: 757176c89a70f2da4a98e31093f500866610db61c8a25876ce221c94482f0cf4
+          initial_ast: bedecf1c3e96cea2f1d598482707105f1935749f6ceb754eaa4ef73a5b4cf4a6
+          unrolled_ast: 2703ec84bd2a511a9c838d58b55361115494679ab0ce02d4ab2f13bca5cc7e59
+          ssa_ast: 34477dd040cfef68db0318c4efa44d0930d3d68c86fb31af7748f45610578ea0
+          flattened_ast: 8ed19ef157b656b55ca9d0fca5fc15e88d6c6485aae4a1af24eecb9fb93bb989
+          destructured_ast: c6c05abc5c72981b6b63205176dbcdf7fba91d71bdfba104b2c6fd32e05b43af
+          inlined_ast: c6c05abc5c72981b6b63205176dbcdf7fba91d71bdfba104b2c6fd32e05b43af
+          dce_ast: c6c05abc5c72981b6b63205176dbcdf7fba91d71bdfba104b2c6fd32e05b43af
          bytecode: a6350aaded46f7047061f7e68a8ae41eb8aa0d29f02560257ecdc582a6c684f9
          errors: ""
          warnings: ""
--- a/tests/expectations/compiler/constants/constant_loop_bound_type_mismatch_fail.out
+++ b/tests/expectations/compiler/constants/constant_loop_bound_type_mismatch_fail.out
@ -2,4 +2,4 @@
 namespace: Compile
 expectation: Fail
 outputs:
-  - "Error [ETYC0372003]: Expected type `u8` but type `u32` was found\n    --> compiler-test:8:22\n     |\n   8 |         for i: u8 in START..STOP {\n     |                      ^^^^^\n"
+  - "Error [ETYC0372007]: Expected one type from `u32`, but got `u8`\n    --> compiler-test:8:22\n     |\n   8 |         for i: u8 in START..STOP {\n     |                      ^^^^^\n"
--- a/tests/expectations/compiler/constants/loop_unrolling.out
+++ b/tests/expectations/compiler/constants/loop_unrolling.out
@ -3,16 +3,16 @@ namespace: Compile
 expectation: Pass
 outputs:
  - - compile:
-        - initial_symbol_table: 29e97965dc9ebb3ed0ec705736fbdc7dbb9f813faeac344da82d0456e333f874
-          type_checked_symbol_table: e82c690e31df9895a2e07093511bc47a321ceabb638540d5fba59641db0e8abc
-          unrolled_symbol_table: 649c16b1edb5c10fc698f4ed9912a0438208546bc8b06f50f004b3176db37f47
-          initial_ast: 6256a249cbc21507d80bb44e2915179d77485e9c7974b09dad5ac31c80857779
-          unrolled_ast: 9c4e9b3fa952b1eb43ad69e5374eaa14dd6a7028e993cfef8183f832869d5a5d
-          ssa_ast: 10a72521616bff5daf9a6086d3c4a86a98abb246ccebe02f62d92ef3885f8138
-          flattened_ast: 897d8cea1655bbf1e4804e6a163363d6c7ef5f2e4e84cfd437f696ef06585910
-          destructured_ast: 35be4b9bccb0ca13c97d4f61be13deab1ea78779bee5061248ce27b8e3ad2c76
-          inlined_ast: 35be4b9bccb0ca13c97d4f61be13deab1ea78779bee5061248ce27b8e3ad2c76
-          dce_ast: 35be4b9bccb0ca13c97d4f61be13deab1ea78779bee5061248ce27b8e3ad2c76
+        - initial_symbol_table: 822b957b21a3e7b9f957d8cec8c6b4256775555ea7b7a9192c9cef8a86d04c6d
+          type_checked_symbol_table: ed876a3a594f4486a033fe1bfffeb5dc53865cac75f1cbf5b1933ff2c23ebffc
+          unrolled_symbol_table: 8219fa95d2f59e8c9f928eb5566010a88a0e5752834503249c15d9f865f3e88e
+          initial_ast: dc02876f1f1c866ba2e2c89ed4f574f4b5eaa240c66c03a4dc00f1486c92045e
+          unrolled_ast: ae4aa74a621ad590bbab5d1d7a46aede0a7fbeaeacfe4578064807b0e2ff00de
+          ssa_ast: 25f48814c969fd91f5be92e2972316076da6447e383e032f0bab1a80365d9b81
+          flattened_ast: 7d9cb8fc635391ac72606a46655d098812f0f7e7e72bd767cd4931667d8f681f
+          destructured_ast: ac91b42bc2f9b6caf9d40d5766ec82d8caeff5bf51fd7eadd647bee936e26c84
+          inlined_ast: ac91b42bc2f9b6caf9d40d5766ec82d8caeff5bf51fd7eadd647bee936e26c84
+          dce_ast: ac91b42bc2f9b6caf9d40d5766ec82d8caeff5bf51fd7eadd647bee936e26c84
          bytecode: d9595550f8a3d55b350b4f46059fb01bf63308aa4b4416594c2eb20231f6483a
          errors: ""
          warnings: ""
--- a/tests/expectations/compiler/constants/unroll_loop_with_tuple_definition.out
+++ b/tests/expectations/compiler/constants/unroll_loop_with_tuple_definition.out
@ -3,16 +3,16 @@ namespace: Compile
 expectation: Pass
 outputs:
  - - compile:
-        - initial_symbol_table: 29e97965dc9ebb3ed0ec705736fbdc7dbb9f813faeac344da82d0456e333f874
-          type_checked_symbol_table: 0d2450e4e9dbdf81f3509cfd8a2ddf47db37aa8980bf1c268305e4e0558772d4
-          unrolled_symbol_table: 1380d27733d07cc968b92d018486a2c5a7dce3ede1253f4c6694b7ae5e477105
-          initial_ast: 2edeabb90f14e92b8eeab4396b1ddcc6e707da5e3b3ca9936ba946bbaba68822
-          unrolled_ast: 305dc314c5c7272d119542345476398ae0e349b6fbc38ea8286e5a53510ea821
-          ssa_ast: 04080337c157b9b1b50422ee764a6bd8ecb102d6198a48ffc83919f07d339806
-          flattened_ast: fb85860478a8f0e2411f1efb09cd6d96a8cbcb16141fd128fc617d0da7971d27
-          destructured_ast: 112941da355e0dc9d9634c10e910d6e9d56e6036e2aea39cfec6363b7e73bb2d
-          inlined_ast: 112941da355e0dc9d9634c10e910d6e9d56e6036e2aea39cfec6363b7e73bb2d
-          dce_ast: 0afd58fda006fe98b19f045e698847e04a9aa7b3f9ed2fa9fbb614130b6d7e94
+        - initial_symbol_table: 822b957b21a3e7b9f957d8cec8c6b4256775555ea7b7a9192c9cef8a86d04c6d
+          type_checked_symbol_table: 39be341ba0bb3e62400704e748adfde2ff4038a64cfe7032e596d9f6b114943d
+          unrolled_symbol_table: 72cb9d344fb88724b1ae07506f9be420baa0916634d2133c7e4e51368ec91115
+          initial_ast: 4e6a530b5e57b925c3100aca1de7a314f1b10cfdb2f3b324137b412b11a0680f
+          unrolled_ast: bd23e1a503f1d4738bf28afaff84d899295731fdb6e150c8c7889cd00d128724
+          ssa_ast: 7dc4c694fdcab5660f5014c29c938ff9e028cbcfbfe1b52a32ef73e6a78e358f
+          flattened_ast: 84ea11a0ba0fba401dd2a5d2b5eb2f06af38d22c37a597da8f5e200f03f999de
+          destructured_ast: 6aac0197cbbfefe82dbfb4bbc58a5ae1606db42e4e16e0f63731e743c77f2aab
+          inlined_ast: 6aac0197cbbfefe82dbfb4bbc58a5ae1606db42e4e16e0f63731e743c77f2aab
+          dce_ast: bbf2c294afe079c354aae650d7debbb627673fc8fa16323fc9911d9ce42188c2
          bytecode: a5ef8b434b2a8b1939f1d042fd5706c996e0f1905bf2395a0f140cff779ce48a
          errors: ""
          warnings: ""
--- a/tests/expectations/compiler/core/algorithms/bhp1024_commit_to_address.out
+++ b/tests/expectations/compiler/core/algorithms/bhp1024_commit_to_address.out
@ -3,16 +3,16 @@ namespace: Compile
 expectation: Pass
 outputs:
  - - compile:
-        - initial_symbol_table: 0b53989640055bef15deab2fb1e4d8691b4f1b439f1bdba64f34278be1cb37e0
-          type_checked_symbol_table: 1ab6493df9354a7e0a097a8f78ad1614dee1166e9de8ab017279fa02bcc1ee28
-          unrolled_symbol_table: 1ab6493df9354a7e0a097a8f78ad1614dee1166e9de8ab017279fa02bcc1ee28
-          initial_ast: 14ed8952c476c2b24bf9ad6cd7da7091e8aacd49975682bc4876f9b2d3aedbbe
-          unrolled_ast: 14ed8952c476c2b24bf9ad6cd7da7091e8aacd49975682bc4876f9b2d3aedbbe
-          ssa_ast: dcb235411309bf2559c2a427c29e716b2069631a485110e9a82e23994bb3fc52
-          flattened_ast: 9020e9b164148797cd34c2dc0031396ad860ef0dcdad67762943a00bd7d7d4f7
-          destructured_ast: 9da93c6eb49d492936f1d950dd4e3a2aaa93dff67b23fd6f8667f4c20b626861
-          inlined_ast: 9da93c6eb49d492936f1d950dd4e3a2aaa93dff67b23fd6f8667f4c20b626861
-          dce_ast: 665fb2235b45e4fe8801daa263ced1e9183789878e536c7b8d18e47681937947
+        - initial_symbol_table: 0f5d36005197cb2fccb650b60da08e392ad4e36923fd4feb47db3a6fbb7a11de
+          type_checked_symbol_table: b404533efadcaeef30740a21ad3082dca23435518e2bb64a39f224582270427d
+          unrolled_symbol_table: b404533efadcaeef30740a21ad3082dca23435518e2bb64a39f224582270427d
+          initial_ast: b7b026fdc76bc646438c7134cc216e93eeb6593283f94e8592588b004646a63a
+          unrolled_ast: b7b026fdc76bc646438c7134cc216e93eeb6593283f94e8592588b004646a63a
+          ssa_ast: 145154af44f56079cb822b3dfa1cd9a6d7f72efcf8b3300a529b09ecedfdc946
+          flattened_ast: 30dd3ee6580d79964697ca4b962e6e9f66131d836279735aeaf18f006a402f15
+          destructured_ast: 86162df5219575a7eaf9991af4951fbed57cb3a7f7f41f82df0b959cfff7e9a6
+          inlined_ast: 86162df5219575a7eaf9991af4951fbed57cb3a7f7f41f82df0b959cfff7e9a6
+          dce_ast: 24a42b30618d362a44f7610f2f7b38c6f345bcd96fb12c8b87d77e34bf3434bf
          bytecode: 03845ec2f54d49f71640659603ead8f68ad067a15fda438e5e13524777d1559b
          errors: ""
          warnings: ""
--- a/tests/expectations/compiler/core/algorithms/bhp1024_commit_to_field.out
+++ b/tests/expectations/compiler/core/algorithms/bhp1024_commit_to_field.out
@ -3,16 +3,16 @@ namespace: Compile
 expectation: Pass
 outputs:
  - - compile:
-        - initial_symbol_table: 0b53989640055bef15deab2fb1e4d8691b4f1b439f1bdba64f34278be1cb37e0
-          type_checked_symbol_table: 8e5ad458f96ada8c3cdd6424e864c7a94692cfab224dc16b6941cfd5fc99f883
-          unrolled_symbol_table: 8e5ad458f96ada8c3cdd6424e864c7a94692cfab224dc16b6941cfd5fc99f883
-          initial_ast: 4658c53df803f432b94e89b89f9919e362fa9fb1a36cec6a4bfaeef9a7024434
-          unrolled_ast: 4658c53df803f432b94e89b89f9919e362fa9fb1a36cec6a4bfaeef9a7024434
-          ssa_ast: d9edec3b6bee6695344a4f8f7c0ef735d02838a800a0d10737083ed7956a919f
-          flattened_ast: de70fa794947b7c4cd24beac167e076dded5e8325eb95f36b5f906746950deda
-          destructured_ast: 16c6941986501843ab532ce7750e13b1db6b35b66a2903bce1a81e5d7ac640fd
-          inlined_ast: 16c6941986501843ab532ce7750e13b1db6b35b66a2903bce1a81e5d7ac640fd
-          dce_ast: bea3bf327ec7a8509c0b2dd9c08a8ad66f22cb4997a17fed66ff21c362ce4de7
+        - initial_symbol_table: 0f5d36005197cb2fccb650b60da08e392ad4e36923fd4feb47db3a6fbb7a11de
+          type_checked_symbol_table: 47da8363d5a8d5de413b8fd97ec5cc722461f4128183f5effd20b39e456ba8da
+          unrolled_symbol_table: 47da8363d5a8d5de413b8fd97ec5cc722461f4128183f5effd20b39e456ba8da
+          initial_ast: f747c85d426a6f221df4e986114f385793a998b01658dcfb1d8923a3b4f2467d
+          unrolled_ast: f747c85d426a6f221df4e986114f385793a998b01658dcfb1d8923a3b4f2467d
+          ssa_ast: 84c40875de4d1b0bff4b34ece8578a0ee21f5fc4c66b7ed523e2a67511e9ee95
+          flattened_ast: f8829dd0753f26c4b43c068c3bf4816c7f620ee44f03033e3b41bcd429fe64d9
+          destructured_ast: dfea2c4f3f96efa850d56eaa630b36ba40c37ecf4f32f12bb6b8dcf38f616fd2
+          inlined_ast: dfea2c4f3f96efa850d56eaa630b36ba40c37ecf4f32f12bb6b8dcf38f616fd2
+          dce_ast: 91bfa913fb0b9cedf1d6f838c280b0ec0fd529bf0714dad61c12adec113c6e9f
          bytecode: 89209e8d86f847dbf47309d0092ee98ff4c7e72f93c06aa16b185b87931b4163
          errors: ""
          warnings: ""
--- a/tests/expectations/compiler/core/algorithms/bhp1024_commit_to_group.out
+++ b/tests/expectations/compiler/core/algorithms/bhp1024_commit_to_group.out
@ -3,16 +3,16 @@ namespace: Compile
 expectation: Pass
 outputs:
  - - compile:
-        - initial_symbol_table: bc00a6f0fa880e2cddf4bc424ff5f9968e43ce903d50d465f4f546e7cd4a2cf2
-          type_checked_symbol_table: 2b3107f8a94acb12092cb40d6eca58305e01681f8aaf3c4fe128ca80378d5390
-          unrolled_symbol_table: 2b3107f8a94acb12092cb40d6eca58305e01681f8aaf3c4fe128ca80378d5390
-          initial_ast: c195cd96cb533417c22ee288a309dc785869aead578882b8de25adaa7138767a
-          unrolled_ast: c195cd96cb533417c22ee288a309dc785869aead578882b8de25adaa7138767a
-          ssa_ast: d61f8c38d5972e527ca0774933f12701948204aabf235bcc410234b0cca6ffa7
-          flattened_ast: c2913b758f62dc5bfb9578736623c6f555e92843ef2640e7b8c4017010bab71e
-          destructured_ast: 5e47cadb8b30359951bb55d17f62114e21c36cb22909bdd8922d280e205fad79
-          inlined_ast: 5e47cadb8b30359951bb55d17f62114e21c36cb22909bdd8922d280e205fad79
-          dce_ast: 32ceba1bad1d48a88a8bec44db7202e2666ee7a1eace8065dfa7e643a04b6922
+        - initial_symbol_table: f0f996bd026e52be88eda1f06611a250f07beb461598af45364338b71c6be67e
+          type_checked_symbol_table: ff73715654c51dd2d9fea914a60b8e6cae327c41c9b70edd77e8bc4e12e811e9
+          unrolled_symbol_table: ff73715654c51dd2d9fea914a60b8e6cae327c41c9b70edd77e8bc4e12e811e9
+          initial_ast: 3db607879622f0c71960e1d84c4b4fbb927c44571214265145d280f852804004
+          unrolled_ast: 3db607879622f0c71960e1d84c4b4fbb927c44571214265145d280f852804004
+          ssa_ast: 72ffef92f324ea7cc693b3672b5314ba39b97f1fe6541442b30cf2343d4a6437
+          flattened_ast: 21e6052fb8b18b785cf7031a1c2127502f09596a717b0ad55d30ccea49458944
+          destructured_ast: cf585b6ef2f89d5e5b99fa7fd04d44971e2c918439249ccf90c7bfc5282977bd
+          inlined_ast: cf585b6ef2f89d5e5b99fa7fd04d44971e2c918439249ccf90c7bfc5282977bd
+          dce_ast: e735ac63858c5afeb8681586c77f727210493258ef7448e9b4b9c223db6ffecf
          bytecode: 44723f1147fbb09b330db772453005ab5dae98a53925a9dc45b66daa51584290
          errors: ""
          warnings: ""
--- a/tests/expectations/compiler/core/algorithms/bhp1024_hash_to_address.out
+++ b/tests/expectations/compiler/core/algorithms/bhp1024_hash_to_address.out
@ -3,16 +3,16 @@ namespace: Compile
 expectation: Pass
 outputs:
  - - compile:
-        - initial_symbol_table: 0b53989640055bef15deab2fb1e4d8691b4f1b439f1bdba64f34278be1cb37e0
-          type_checked_symbol_table: 7ea97bd3f2f1366697977d015b733d7f70222006a2c318ffd71f85b486683aa0
-          unrolled_symbol_table: 7ea97bd3f2f1366697977d015b733d7f70222006a2c318ffd71f85b486683aa0
-          initial_ast: 7e158eb4d35f3576485510266c8bf65e43a8a01e112c893a9b207f22455fff6c
-          unrolled_ast: 7e158eb4d35f3576485510266c8bf65e43a8a01e112c893a9b207f22455fff6c
-          ssa_ast: 580070ba6c54295ee57adad120f1e289e0383a9924b33483d418d578984516df
-          flattened_ast: 9a9f97a65090fb04e4923f03168ff633de8dd8df5d0d77771e0297895327f8ad
-          destructured_ast: af85d016afeb7bb8f094f29d35efa0d587d7318ab7ddcf0d1e7dcb8c41995e13
-          inlined_ast: af85d016afeb7bb8f094f29d35efa0d587d7318ab7ddcf0d1e7dcb8c41995e13
-          dce_ast: 3398f3b5688a2adfd3e1a729066f970183d1cd3d0081a35b566ef5a78025c691
+        - initial_symbol_table: 0f5d36005197cb2fccb650b60da08e392ad4e36923fd4feb47db3a6fbb7a11de
+          type_checked_symbol_table: 9276817b440938ef8b32982f5bbfa1161c9d01d5f02c8440c3dc0ddbc30ba758
+          unrolled_symbol_table: 9276817b440938ef8b32982f5bbfa1161c9d01d5f02c8440c3dc0ddbc30ba758
+          initial_ast: 460ea8330881454e8f6f674ae5a550cf439a283d1e6e6abee86bde30c0caa2b9
+          unrolled_ast: 460ea8330881454e8f6f674ae5a550cf439a283d1e6e6abee86bde30c0caa2b9
+          ssa_ast: dfa3c08d62add7479c43e4c3cfb69835c7d84574081aa03eec56e143752ec287
+          flattened_ast: 46abd94be0fd2d28b46a30f7ab9bbb331995c2d48f49ed668352584169c1a03c
+          destructured_ast: 042fac35ee6d70f8c057956f71b39a8b0fd3abf7c23951499f0aecc82edba820
+          inlined_ast: 042fac35ee6d70f8c057956f71b39a8b0fd3abf7c23951499f0aecc82edba820
+          dce_ast: 7e6b98bf461ec4ac39f59e0b90a1ceef3cb594f862bf27f940dc6252a4f52a4d
          bytecode: 03845ec2f54d49f71640659603ead8f68ad067a15fda438e5e13524777d1559b
          errors: ""
          warnings: ""
--- a/tests/expectations/compiler/core/algorithms/bhp1024_hash_to_field.out
+++ b/tests/expectations/compiler/core/algorithms/bhp1024_hash_to_field.out
@ -3,16 +3,16 @@ namespace: Compile
 expectation: Pass
 outputs:
  - - compile:
-        - initial_symbol_table: 0b53989640055bef15deab2fb1e4d8691b4f1b439f1bdba64f34278be1cb37e0
-          type_checked_symbol_table: 857ddcccc8ba5f91784b3dde333bcc63b5883ee12d4110112eda378ac43ccdc5
-          unrolled_symbol_table: 857ddcccc8ba5f91784b3dde333bcc63b5883ee12d4110112eda378ac43ccdc5
-          initial_ast: cf0620436443663eee9dd1767bbdba9c2a68b350a02a32df0b203b6c07c28e3d
-          unrolled_ast: cf0620436443663eee9dd1767bbdba9c2a68b350a02a32df0b203b6c07c28e3d
-          ssa_ast: ee7a71f44f12f31dbed39bc4db57b50c72012769af87c4ccb24f408d0955f49e
-          flattened_ast: 64ddd1307acda3369319ec275d0d1a1e2b3c58941bf55da4533f0b4e59815838
-          destructured_ast: 482ea7d3d89a58dc0167fc45c84d402fb4fb150dd7e583b8edde3f0c93b12a34
-          inlined_ast: 482ea7d3d89a58dc0167fc45c84d402fb4fb150dd7e583b8edde3f0c93b12a34
-          dce_ast: 557dcaf33a9988d441fbe85b0fe13bef52bf00e214b9631224765930c8b733b4
+        - initial_symbol_table: 0f5d36005197cb2fccb650b60da08e392ad4e36923fd4feb47db3a6fbb7a11de
+          type_checked_symbol_table: b67f708cc4a8ce4a48b40eefd2c35bfdfc54b558566f9ffee5c211dfd489ef66
+          unrolled_symbol_table: b67f708cc4a8ce4a48b40eefd2c35bfdfc54b558566f9ffee5c211dfd489ef66
+          initial_ast: 6c0f9dc3bb4e835938f237e4407f8d57625279d070fb22948d3623eb76e809e2
+          unrolled_ast: 6c0f9dc3bb4e835938f237e4407f8d57625279d070fb22948d3623eb76e809e2
+          ssa_ast: 986e7a389a85e1a23780788c60d2428354fc87420702030c633090d5f89cfc4a
+          flattened_ast: f5ebdca1b7ed3a0051912cd91cf1873b7924c6b6f12716839a370e7d83f37540
+          destructured_ast: 4766402255bd612f9c0f52aa0777e1983b38f4910a1dd887dcf2b12953f94b54
+          inlined_ast: 4766402255bd612f9c0f52aa0777e1983b38f4910a1dd887dcf2b12953f94b54
+          dce_ast: 1d15336684105eebf785cff516d1b3adb68d82b54eac90967ad7277b03681569
          bytecode: 1ee04c880a78442953925baa8e3c60e416d77c926da80774db6961188aaba65a
          errors: ""
          warnings: ""
--- a/tests/expectations/compiler/core/algorithms/bhp1024_hash_to_group.out
+++ b/tests/expectations/compiler/core/algorithms/bhp1024_hash_to_group.out
@ -3,16 +3,16 @@ namespace: Compile
 expectation: Pass
 outputs:
  - - compile:
-        - initial_symbol_table: bc00a6f0fa880e2cddf4bc424ff5f9968e43ce903d50d465f4f546e7cd4a2cf2
-          type_checked_symbol_table: 2b3107f8a94acb12092cb40d6eca58305e01681f8aaf3c4fe128ca80378d5390
-          unrolled_symbol_table: 2b3107f8a94acb12092cb40d6eca58305e01681f8aaf3c4fe128ca80378d5390
-          initial_ast: 18367bef5242c3d05bf9b634b7c4283827cc2b139dd34321ca7bdf15548ebed4
-          unrolled_ast: 18367bef5242c3d05bf9b634b7c4283827cc2b139dd34321ca7bdf15548ebed4
-          ssa_ast: f304a3aa5bfea73165262ef32997e06905caf181a1128dd491901f3e9ab8894d
-          flattened_ast: d1b14cb4e3e6741c59fd51d1f1d9c7586d0a3b277b988bc23bbf62a5b3205f2a
-          destructured_ast: 9a60cdb4272353ea39b520c6395ee2728947743ac8f1168a7749b6284f69302b
-          inlined_ast: 9a60cdb4272353ea39b520c6395ee2728947743ac8f1168a7749b6284f69302b
-          dce_ast: b251f2c19953b697d980b2ced31dba59d0620b4a82c66f5e0c3895f12bfb4032
+        - initial_symbol_table: f0f996bd026e52be88eda1f06611a250f07beb461598af45364338b71c6be67e
+          type_checked_symbol_table: ff73715654c51dd2d9fea914a60b8e6cae327c41c9b70edd77e8bc4e12e811e9
+          unrolled_symbol_table: ff73715654c51dd2d9fea914a60b8e6cae327c41c9b70edd77e8bc4e12e811e9
+          initial_ast: 98ddd2422e93175e48599d66d22e496696e247b6e93ca27643a68ef8e40658aa
+          unrolled_ast: 98ddd2422e93175e48599d66d22e496696e247b6e93ca27643a68ef8e40658aa
+          ssa_ast: 22775f0b31594e29213b12e2e0f3172e1b0bea5d661df31829432303dc298c56
+          flattened_ast: cf14147ebb268afad497c1cb3ac4bd0f35b95016764d829d1706d480aa876e2e
+          destructured_ast: 625983387f3e21f38f9fb53acd8fdf2d95aafa3687e69b74b69e0e530dbc701e
+          inlined_ast: 625983387f3e21f38f9fb53acd8fdf2d95aafa3687e69b74b69e0e530dbc701e
+          dce_ast: 784b4d080a8a985a89903901c96015e86ec543b7de015d028edb18c4098196e3
          bytecode: 6e17954a1a55bf11bcac1b381fc6a82ee849f92a9af06d755ee3d6e3cd3b748d
          errors: ""
          warnings: ""
--- a/tests/expectations/compiler/core/algorithms/bhp1024_hash_to_scalar.out
+++ b/tests/expectations/compiler/core/algorithms/bhp1024_hash_to_scalar.out
@ -3,16 +3,16 @@ namespace: Compile
 expectation: Pass
 outputs:
  - - compile:
-        - initial_symbol_table: 79eed2f6e683aa3a028ae2e9dab1002207743d7b4a651658bbc6a5b8185e0f8c
-          type_checked_symbol_table: 17abd653b2f3fa7cd1996c2f7675fb6f64a4b5dbdd281c46e8977676e7eb857c
-          unrolled_symbol_table: 17abd653b2f3fa7cd1996c2f7675fb6f64a4b5dbdd281c46e8977676e7eb857c
-          initial_ast: e30e680035a999fddf3f6bf727d96a91bcb315e0015e68f06be3bc6a5fea60ee
-          unrolled_ast: e30e680035a999fddf3f6bf727d96a91bcb315e0015e68f06be3bc6a5fea60ee
-          ssa_ast: 20eab109b98f072405d4e7491e12625dd8c32912f0744b06c426f0a67e67b636
-          flattened_ast: c07c880e72d3e0ee980acd278d7e1583a2bb57edb5279c8b8876ff0daf23b411
-          destructured_ast: 5d6134b5ce819e2425216bb82a34b4d030520031b333d8cfdbde495cfb140a53
-          inlined_ast: 5d6134b5ce819e2425216bb82a34b4d030520031b333d8cfdbde495cfb140a53
-          dce_ast: bd6a7668dbd9fb4fb4ee5988d6888995ca9e0fd9c0e3e078bc578162d0321bf6
+        - initial_symbol_table: cde267005ab63bbf7732222cdf11cba82760283e305d151eac86294c3ddeca5e
+          type_checked_symbol_table: 70b1f7d016f3e65d2902d20fab38f69924278f04173bdbd4d112e98f751fe32d
+          unrolled_symbol_table: 70b1f7d016f3e65d2902d20fab38f69924278f04173bdbd4d112e98f751fe32d
+          initial_ast: 8f6a835f79ffed646dcebae351d92a74721acb099caaf68e5c32c9e73bab8244
+          unrolled_ast: 8f6a835f79ffed646dcebae351d92a74721acb099caaf68e5c32c9e73bab8244
+          ssa_ast: e67087d3178e9114b14fd0552ecef96215eb34bb4593bc4fb5741312dbec5d62
+          flattened_ast: 19c9e325c532bd1b92b6d5b0188095a97f07ed73f56f1d67e092e143be41bad0
+          destructured_ast: 012e565494427971704c3b7a37ed036f9f9e60e588774cbbfe6a99f71428193d
+          inlined_ast: 012e565494427971704c3b7a37ed036f9f9e60e588774cbbfe6a99f71428193d
+          dce_ast: bfb362ea40b226c16e2986acfc87d0d4920dc5525b72d4efb99d5e337ba671a7
          bytecode: 16448534dab09040c482f623815abdd0bd2e330d2cb99bc095142027c80e9bf0
          errors: ""
          warnings: ""
--- a/tests/expectations/compiler/core/algorithms/bhp256_commit_to_address.out
+++ b/tests/expectations/compiler/core/algorithms/bhp256_commit_to_address.out
@ -3,16 +3,16 @@ namespace: Compile
 expectation: Pass
 outputs:
  - - compile:
-        - initial_symbol_table: 0b53989640055bef15deab2fb1e4d8691b4f1b439f1bdba64f34278be1cb37e0
-          type_checked_symbol_table: 1ab6493df9354a7e0a097a8f78ad1614dee1166e9de8ab017279fa02bcc1ee28
-          unrolled_symbol_table: 1ab6493df9354a7e0a097a8f78ad1614dee1166e9de8ab017279fa02bcc1ee28
-          initial_ast: c0ca1427cdd60625ce2d8bd7c687a6b7820a2cb690fb99e406b5e84513c1a01f
-          unrolled_ast: c0ca1427cdd60625ce2d8bd7c687a6b7820a2cb690fb99e406b5e84513c1a01f
-          ssa_ast: 7f8e1c97b94aa7a8d2935fd64c8c2ad0e043344226e69e1b57d09021644e94d7
-          flattened_ast: f77d1031edd766b0818fdda872ad8df55cf34c17c24f0dd9c68bc60d625b4237
-          destructured_ast: 4ba710fd1e4b97e48a60a9934f98af9575d7d889eaa87ff11978b955a49812f6
-          inlined_ast: 4ba710fd1e4b97e48a60a9934f98af9575d7d889eaa87ff11978b955a49812f6
-          dce_ast: 47690fcd1ee8d2cdba48c23272c73e8c4a5bb7dcb2ecacb9f88cd75c56d842b1
+        - initial_symbol_table: 0f5d36005197cb2fccb650b60da08e392ad4e36923fd4feb47db3a6fbb7a11de
+          type_checked_symbol_table: b404533efadcaeef30740a21ad3082dca23435518e2bb64a39f224582270427d
+          unrolled_symbol_table: b404533efadcaeef30740a21ad3082dca23435518e2bb64a39f224582270427d
+          initial_ast: 57bcb27b58c7d0b70180172d992c871cbc6aee47be0ddb0d3a3f91dbe678dc0f
+          unrolled_ast: 57bcb27b58c7d0b70180172d992c871cbc6aee47be0ddb0d3a3f91dbe678dc0f
+          ssa_ast: ee8e358331cf25d7d25bb5d706233ac96b5b80dee7457e68810bf47c60026a4a
+          flattened_ast: 87a56ab8ac00f0e8bdb8d8494ecb58d42b45796beba014eadfde080a0fab9d8c
+          destructured_ast: 6e44a0c1b3a69287f654188c3f715c23cd573eaa4dd59a70bbff052f01da847c
+          inlined_ast: 6e44a0c1b3a69287f654188c3f715c23cd573eaa4dd59a70bbff052f01da847c
+          dce_ast: e3404d1c783bf66373dd843923fc942faf9cac3d03baf1233feaa46f5e7f5759
          bytecode: 03845ec2f54d49f71640659603ead8f68ad067a15fda438e5e13524777d1559b
          errors: ""
          warnings: ""
--- a/tests/expectations/compiler/core/algorithms/bhp256_commit_to_field.out
+++ b/tests/expectations/compiler/core/algorithms/bhp256_commit_to_field.out
@ -3,16 +3,16 @@ namespace: Compile
 expectation: Pass
 outputs:
  - - compile:
-        - initial_symbol_table: 0b53989640055bef15deab2fb1e4d8691b4f1b439f1bdba64f34278be1cb37e0
-          type_checked_symbol_table: 8e5ad458f96ada8c3cdd6424e864c7a94692cfab224dc16b6941cfd5fc99f883
-          unrolled_symbol_table: 8e5ad458f96ada8c3cdd6424e864c7a94692cfab224dc16b6941cfd5fc99f883
-          initial_ast: ae1a7a56279a9af54fffb6da377fbc46de742e00b3238b2aeba45d09a6632130
-          unrolled_ast: ae1a7a56279a9af54fffb6da377fbc46de742e00b3238b2aeba45d09a6632130
-          ssa_ast: 7c0adf4a4225d8c741214ceefaf4a9b56958a913c3ad8eca468e07a2e28bed58
-          flattened_ast: d9baa25d51c87537ad3a3030d3122c948cd8e3796c164eeb8c6618db2269761f
-          destructured_ast: d9c5da617aaf0e94e0269fa93f3f2ed1361b49f5f3f454bcc18d4762f91d2c12
-          inlined_ast: d9c5da617aaf0e94e0269fa93f3f2ed1361b49f5f3f454bcc18d4762f91d2c12
-          dce_ast: 1cd99533251f8450ee6d930c75909bd831feddedeaf232cf4f6fa0962665ada0
+        - initial_symbol_table: 0f5d36005197cb2fccb650b60da08e392ad4e36923fd4feb47db3a6fbb7a11de
+          type_checked_symbol_table: 47da8363d5a8d5de413b8fd97ec5cc722461f4128183f5effd20b39e456ba8da
+          unrolled_symbol_table: 47da8363d5a8d5de413b8fd97ec5cc722461f4128183f5effd20b39e456ba8da
+          initial_ast: 74f08503234bda32dd34626a908d14e3777fc5b4e0f12af6162391c8a6c35ed9
+          unrolled_ast: 74f08503234bda32dd34626a908d14e3777fc5b4e0f12af6162391c8a6c35ed9
+          ssa_ast: f692c10e6efe7578040ab936b270aa6364d781d6ce8a7e948c8008947189f058
+          flattened_ast: 5fe4900679ef6116d3c76279468cf1e6be51745d4482163c09dfac395048af38
+          destructured_ast: a3682426505c4e2f5520872495a7d71558b4913a437a8ede15b052476e46ffa3
+          inlined_ast: a3682426505c4e2f5520872495a7d71558b4913a437a8ede15b052476e46ffa3
+          dce_ast: 288ae7c57fd373fa6a91d70d69ce66e1949673b05cf25b6966c7f3ae237ba482
          bytecode: cbaea392a3a5a598090b5c75eebfc840f9fd1f4dd9460704bd82c17acfedcedf
          errors: ""
          warnings: ""
--- a/tests/expectations/compiler/core/algorithms/bhp256_commit_to_group.out
+++ b/tests/expectations/compiler/core/algorithms/bhp256_commit_to_group.out
@ -3,16 +3,16 @@ namespace: Compile
 expectation: Pass
 outputs:
  - - compile:
-        - initial_symbol_table: bc00a6f0fa880e2cddf4bc424ff5f9968e43ce903d50d465f4f546e7cd4a2cf2
-          type_checked_symbol_table: 2b3107f8a94acb12092cb40d6eca58305e01681f8aaf3c4fe128ca80378d5390
-          unrolled_symbol_table: 2b3107f8a94acb12092cb40d6eca58305e01681f8aaf3c4fe128ca80378d5390
-          initial_ast: 7151a3cf55d1025b247fe69ffd178cd6b2eb0272f922fdb5a5bfde9dcee77e39
-          unrolled_ast: 7151a3cf55d1025b247fe69ffd178cd6b2eb0272f922fdb5a5bfde9dcee77e39
-          ssa_ast: 5f4ae844c787a6dd0e58a27ab8a8b32be49811c1475393b4e3cca120a7f45b8b
-          flattened_ast: bf68c51ba36d68fd77de6b63e5c2e705d712ec6e76c643b8db0eb6fedd6e39d6
-          destructured_ast: bc219156e10c701d423dc656e5f37eb714cce2d732c69403c7e2375bf9f0525b
-          inlined_ast: bc219156e10c701d423dc656e5f37eb714cce2d732c69403c7e2375bf9f0525b
-          dce_ast: 06703771636a36a22de63b460ab2bd73e1a0d25408d315e069251d50f0d8a860
+        - initial_symbol_table: f0f996bd026e52be88eda1f06611a250f07beb461598af45364338b71c6be67e
+          type_checked_symbol_table: ff73715654c51dd2d9fea914a60b8e6cae327c41c9b70edd77e8bc4e12e811e9
+          unrolled_symbol_table: ff73715654c51dd2d9fea914a60b8e6cae327c41c9b70edd77e8bc4e12e811e9
+          initial_ast: 18341096c46d4bb34fc5a1fe9c8e998d2b3432d08778da83ba06b2a27b850f05
+          unrolled_ast: 18341096c46d4bb34fc5a1fe9c8e998d2b3432d08778da83ba06b2a27b850f05
+          ssa_ast: c004cac5970ac37e0b37118894581767dc751c69f8d029ef0109c49d86d55ae6
+          flattened_ast: 0f34abd184289a97400a9567806c5e40c76fbd413883a07c4cdc905675b2514f
+          destructured_ast: 918d7c959ba64e044ef58747404f2e6d3b015c73bd2e719dae9fc108c299023d
+          inlined_ast: 918d7c959ba64e044ef58747404f2e6d3b015c73bd2e719dae9fc108c299023d
+          dce_ast: 4c7ef42125dfd42ece2d0f73126564d62c0eef0ac46677ffe519946fe3083e9e
          bytecode: 5d5cbe495e958d3762c2656dc336bd9fd903b5e0b8b51684f3556ca4b5281344
          errors: ""
          warnings: ""
--- a/tests/expectations/compiler/core/algorithms/bhp256_hash_to_address.out
+++ b/tests/expectations/compiler/core/algorithms/bhp256_hash_to_address.out
@ -3,16 +3,16 @@ namespace: Compile
 expectation: Pass
 outputs:
  - - compile:
-        - initial_symbol_table: 0b53989640055bef15deab2fb1e4d8691b4f1b439f1bdba64f34278be1cb37e0
-          type_checked_symbol_table: 7ea97bd3f2f1366697977d015b733d7f70222006a2c318ffd71f85b486683aa0
-          unrolled_symbol_table: 7ea97bd3f2f1366697977d015b733d7f70222006a2c318ffd71f85b486683aa0
-          initial_ast: 1c3a76d19f97aad8a0ca74edfdffea0ca87e9a7448c9f0ae766ff51876f236da
-          unrolled_ast: 1c3a76d19f97aad8a0ca74edfdffea0ca87e9a7448c9f0ae766ff51876f236da
-          ssa_ast: c19d32e511e4180c00b74a0e881686ca4576e6b1591be75f111e1931bc055bf7
-          flattened_ast: eeb242c20efc908266d201b4297653ef35628335eb132c89ac3f1e7a93c51c85
-          destructured_ast: 8f453847d6907238bfc055ecf411cd7c365a106c4d10eff6d16eb39b5f95e0a1
-          inlined_ast: 8f453847d6907238bfc055ecf411cd7c365a106c4d10eff6d16eb39b5f95e0a1
-          dce_ast: d9ce04dbd26a1145efc4d2335dc3f9a844fd7cc00260ec2368664c20f2426de6
+        - initial_symbol_table: 0f5d36005197cb2fccb650b60da08e392ad4e36923fd4feb47db3a6fbb7a11de
+          type_checked_symbol_table: 9276817b440938ef8b32982f5bbfa1161c9d01d5f02c8440c3dc0ddbc30ba758
+          unrolled_symbol_table: 9276817b440938ef8b32982f5bbfa1161c9d01d5f02c8440c3dc0ddbc30ba758
+          initial_ast: 68bb06001de552615a0b7b5b3ee5fae93708ba6ff70e44583a1bfda3ba199ae6
+          unrolled_ast: 68bb06001de552615a0b7b5b3ee5fae93708ba6ff70e44583a1bfda3ba199ae6
+          ssa_ast: aa4adb677fdae56b905dbb7909e1137c33e3f74c54c93d6b00d74ec3b48c0c79
+          flattened_ast: 953b1ea5c54f3a094472b166900505a1becb4dc3f1177ae758b5f03a70f27c9f
+          destructured_ast: 8776cb451aa358368cbd9e9c31171912a3473d6168e0051fd5670573fa6eaa92
+          inlined_ast: 8776cb451aa358368cbd9e9c31171912a3473d6168e0051fd5670573fa6eaa92
+          dce_ast: 6b7def707702f771bb41ee11637d5f312355c5f8fdb505c224c5ae19179c391e
          bytecode: 03845ec2f54d49f71640659603ead8f68ad067a15fda438e5e13524777d1559b
          errors: ""
          warnings: ""
--- a/tests/expectations/compiler/core/algorithms/bhp256_hash_to_field.out
+++ b/tests/expectations/compiler/core/algorithms/bhp256_hash_to_field.out
@ -3,16 +3,16 @@ namespace: Compile
 expectation: Pass
 outputs:
  - - compile:
-        - initial_symbol_table: 0b53989640055bef15deab2fb1e4d8691b4f1b439f1bdba64f34278be1cb37e0
-          type_checked_symbol_table: 857ddcccc8ba5f91784b3dde333bcc63b5883ee12d4110112eda378ac43ccdc5
-          unrolled_symbol_table: 857ddcccc8ba5f91784b3dde333bcc63b5883ee12d4110112eda378ac43ccdc5
-          initial_ast: 6df4c8570614329e4e589c187680fd2964b5772a8d98e0ef32ff92d6daef97a8
-          unrolled_ast: 6df4c8570614329e4e589c187680fd2964b5772a8d98e0ef32ff92d6daef97a8
-          ssa_ast: bbf8f6a4dc4296fb250b617fb3074f85bb1947d9ea7a1f507354c406dd9a4325
-          flattened_ast: c6c84f2df0e29009e693b4e4b3a395efd442eaf2aeb907282cefec63b14d25be
-          destructured_ast: 6145f12e39f63a825d52629100f0ea53b6c3d76f7db328439cd61a1cc1ad6b61
-          inlined_ast: 6145f12e39f63a825d52629100f0ea53b6c3d76f7db328439cd61a1cc1ad6b61
-          dce_ast: f863b6df335f3d18826ca425de8fddb296b808c2521ff8f7404e7091c3f00939
+        - initial_symbol_table: 0f5d36005197cb2fccb650b60da08e392ad4e36923fd4feb47db3a6fbb7a11de
+          type_checked_symbol_table: b67f708cc4a8ce4a48b40eefd2c35bfdfc54b558566f9ffee5c211dfd489ef66
+          unrolled_symbol_table: b67f708cc4a8ce4a48b40eefd2c35bfdfc54b558566f9ffee5c211dfd489ef66
+          initial_ast: 68a1fd1e8be83dae28a13bbda215132980c67ad9c43c4bebd326daaed1997dde
+          unrolled_ast: 68a1fd1e8be83dae28a13bbda215132980c67ad9c43c4bebd326daaed1997dde
+          ssa_ast: 14a82a46a284ee90ec9844ba5cdb92b0420e81c7fd3c25c039f8df75adc237a0
+          flattened_ast: e350051b81782f8e75d40b2705bd44884670721c87fe0aa03e37882c4cacb8dd
+          destructured_ast: bdaa24f9cb255da6e36af3cc57abb5eca1ee356acb81eb4fdf989d4ee3724249
+          inlined_ast: bdaa24f9cb255da6e36af3cc57abb5eca1ee356acb81eb4fdf989d4ee3724249
+          dce_ast: 5696e4442b647539936aa7f3dc1040d3bceb53fc0a7642a9c5d337334a8bad3a
          bytecode: 928ec4195678229549fe7ec5b3291d7c72afb95787099dbfca6118539bcc2fd0
          errors: ""
          warnings: ""
--- a/tests/expectations/compiler/core/algorithms/bhp256_hash_to_group.out
+++ b/tests/expectations/compiler/core/algorithms/bhp256_hash_to_group.out
@ -3,16 +3,16 @@ namespace: Compile
 expectation: Pass
 outputs:
  - - compile:
-        - initial_symbol_table: bc00a6f0fa880e2cddf4bc424ff5f9968e43ce903d50d465f4f546e7cd4a2cf2
-          type_checked_symbol_table: 2b3107f8a94acb12092cb40d6eca58305e01681f8aaf3c4fe128ca80378d5390
-          unrolled_symbol_table: 2b3107f8a94acb12092cb40d6eca58305e01681f8aaf3c4fe128ca80378d5390
-          initial_ast: ae16202a927a7513e8793f59ede8a55e1278f35769b051d4d2f80c1d482d6d8f
-          unrolled_ast: ae16202a927a7513e8793f59ede8a55e1278f35769b051d4d2f80c1d482d6d8f
-          ssa_ast: 1411edd1ebd12dacdf2b04c6623a6b2a8cc607121499ed1bbadfe801ac0f66b2
-          flattened_ast: 75aa3e8af15ff65010a8058d5212d59451c56fe41c41728910cb9c3072b9281b
-          destructured_ast: 4f95832c547f3c6654494ae7d08d7a73023c200ecc648e5bff043728987c071e
-          inlined_ast: 4f95832c547f3c6654494ae7d08d7a73023c200ecc648e5bff043728987c071e
-          dce_ast: 65eae244c1796e19e73655a4c80af11d605f7ca0cd518945942056901551a9d3
+        - initial_symbol_table: f0f996bd026e52be88eda1f06611a250f07beb461598af45364338b71c6be67e
+          type_checked_symbol_table: ff73715654c51dd2d9fea914a60b8e6cae327c41c9b70edd77e8bc4e12e811e9
+          unrolled_symbol_table: ff73715654c51dd2d9fea914a60b8e6cae327c41c9b70edd77e8bc4e12e811e9
+          initial_ast: 7208d860e989aa19a317d3e24d27684548ac1f7703903d55992c32cb50c2e750
+          unrolled_ast: 7208d860e989aa19a317d3e24d27684548ac1f7703903d55992c32cb50c2e750
+          ssa_ast: 8e5149fef71d09bea755195620170d58167a261068400912491d6f35f1bf405c
+          flattened_ast: fc53d090a7d9f21dda6c4e09628066b9d0abf3ae3c065dd2ec0e4eff3534cc0a
+          destructured_ast: 0a34681f9061ab87ee6ddc44c6308b008209f4cea02fbc917a6c6d87c094e0d6
+          inlined_ast: 0a34681f9061ab87ee6ddc44c6308b008209f4cea02fbc917a6c6d87c094e0d6
+          dce_ast: f10d9c586f0e0e397f8cb611c260efaa9b1b6d73079e15d1d4ee183add784a1e
          bytecode: c87c15be54d6c1ca80ab86ca735443a949fd9e3bdf7534136ec4c9bb5443fa77
          errors: ""
          warnings: ""
--- a/tests/expectations/compiler/core/algorithms/bhp256_hash_to_scalar.out
+++ b/tests/expectations/compiler/core/algorithms/bhp256_hash_to_scalar.out
@ -3,16 +3,16 @@ namespace: Compile
 expectation: Pass
 outputs:
  - - compile:
-        - initial_symbol_table: 79eed2f6e683aa3a028ae2e9dab1002207743d7b4a651658bbc6a5b8185e0f8c
-          type_checked_symbol_table: 17abd653b2f3fa7cd1996c2f7675fb6f64a4b5dbdd281c46e8977676e7eb857c
-          unrolled_symbol_table: 17abd653b2f3fa7cd1996c2f7675fb6f64a4b5dbdd281c46e8977676e7eb857c
-          initial_ast: e86d9034a99b151b3c24e6fa8144c39c364fc7419f6485ef5ff9306003e3380a
-          unrolled_ast: e86d9034a99b151b3c24e6fa8144c39c364fc7419f6485ef5ff9306003e3380a
-          ssa_ast: b1b76872d420d374047685a8caa8997573809809fb38c22070202c22a372cdfe
-          flattened_ast: 17c15ad8def3723dc51bada88cd6993aae173c425aad665b8ed562a5c507ad16
-          destructured_ast: b6e13af7316132c7f6e50a61b2b3c8c925156bf508d4acbbee7833620ae03b18
-          inlined_ast: b6e13af7316132c7f6e50a61b2b3c8c925156bf508d4acbbee7833620ae03b18
-          dce_ast: dd33ed056dbc212a536bb457905d3b97821edf0586948cc23d9b31b32cfeb75c
+        - initial_symbol_table: cde267005ab63bbf7732222cdf11cba82760283e305d151eac86294c3ddeca5e
+          type_checked_symbol_table: 70b1f7d016f3e65d2902d20fab38f69924278f04173bdbd4d112e98f751fe32d
+          unrolled_symbol_table: 70b1f7d016f3e65d2902d20fab38f69924278f04173bdbd4d112e98f751fe32d
+          initial_ast: bc78490fbc83c2f2d015180751edc1fc4be822197bc92ff5a9be265b411536e3
+          unrolled_ast: bc78490fbc83c2f2d015180751edc1fc4be822197bc92ff5a9be265b411536e3
+          ssa_ast: 57cb4afedfec2088d578000543d904b2025d709450f1e08e602924443306905b
+          flattened_ast: 24313c71d15e9f1d87f795ef7997ea2ea73ba6221aba38ff5db282429be5d2d5
+          destructured_ast: 1e2ba4e7c954b226892c2b6812b84817665d7f2df09dff5dca0ed6f7b293b6ac
+          inlined_ast: 1e2ba4e7c954b226892c2b6812b84817665d7f2df09dff5dca0ed6f7b293b6ac
+          dce_ast: 90aa29eab4ae69a0fb8da5baa1beaf1166ba47ec9102a84c34b5b36e2f09ce93
          bytecode: 39f2fd495ce761fe3a8fb011b05bfe34e50db91dbd7f9a5bec40a8aa8187f0b1
          errors: ""
          warnings: ""
--- a/tests/expectations/compiler/core/algorithms/bhp512_commit_to_address.out
+++ b/tests/expectations/compiler/core/algorithms/bhp512_commit_to_address.out
@ -3,16 +3,16 @@ namespace: Compile
 expectation: Pass
 outputs:
  - - compile:
-        - initial_symbol_table: 0b53989640055bef15deab2fb1e4d8691b4f1b439f1bdba64f34278be1cb37e0
-          type_checked_symbol_table: 1ab6493df9354a7e0a097a8f78ad1614dee1166e9de8ab017279fa02bcc1ee28
-          unrolled_symbol_table: 1ab6493df9354a7e0a097a8f78ad1614dee1166e9de8ab017279fa02bcc1ee28
-          initial_ast: c37c0b5d0f67bef18833c283bf4a4392e4b07e4f5079f3cdfbf02465930da005
-          unrolled_ast: c37c0b5d0f67bef18833c283bf4a4392e4b07e4f5079f3cdfbf02465930da005
-          ssa_ast: d781123cfb06fd2c52d52af8dcd875fd2a2ee84510dbd3542107dd66086e5e13
-          flattened_ast: 8a455b16b66e84ee4bcc4d5c729be7a7a140087e8b7493e730e14c6162489c26
-          destructured_ast: 931c9e43747079453587bd45577dc7fc1862bbfc9713bb2bb68d0c2c90b3da76
-          inlined_ast: 931c9e43747079453587bd45577dc7fc1862bbfc9713bb2bb68d0c2c90b3da76
-          dce_ast: 47690fcd1ee8d2cdba48c23272c73e8c4a5bb7dcb2ecacb9f88cd75c56d842b1
+        - initial_symbol_table: 0f5d36005197cb2fccb650b60da08e392ad4e36923fd4feb47db3a6fbb7a11de
+          type_checked_symbol_table: b404533efadcaeef30740a21ad3082dca23435518e2bb64a39f224582270427d
+          unrolled_symbol_table: b404533efadcaeef30740a21ad3082dca23435518e2bb64a39f224582270427d
+          initial_ast: 96ff59c3c0e00e8d085c4edb229959626848c043bed735bd652fa1acf2bc1ea3
+          unrolled_ast: 96ff59c3c0e00e8d085c4edb229959626848c043bed735bd652fa1acf2bc1ea3
+          ssa_ast: 7ddc48ad11ccf8ce35d555fc66a7192f31aae51120f6eb325c23e1b817ceefe5
+          flattened_ast: d677a42a55111c1169e496978a6e2c215410cc93b741ed788254933821057a2c
+          destructured_ast: 7b4739c7f9260af5462bb06cfe84eee3308427673cb440a86dd623a846419813
+          inlined_ast: 7b4739c7f9260af5462bb06cfe84eee3308427673cb440a86dd623a846419813
+          dce_ast: e3404d1c783bf66373dd843923fc942faf9cac3d03baf1233feaa46f5e7f5759
          bytecode: 03845ec2f54d49f71640659603ead8f68ad067a15fda438e5e13524777d1559b
          errors: ""
          warnings: ""
--- a/tests/expectations/compiler/core/algorithms/bhp512_commit_to_field.out
+++ b/tests/expectations/compiler/core/algorithms/bhp512_commit_to_field.out
@ -3,16 +3,16 @@ namespace: Compile
 expectation: Pass
 outputs:
  - - compile:
-        - initial_symbol_table: 0b53989640055bef15deab2fb1e4d8691b4f1b439f1bdba64f34278be1cb37e0
-          type_checked_symbol_table: bd3fb93ae9dd388b30bb8647ee075485a8ca91829e9f04ef5f5a5e2680b4b47c
-          unrolled_symbol_table: bd3fb93ae9dd388b30bb8647ee075485a8ca91829e9f04ef5f5a5e2680b4b47c
-          initial_ast: 3d995034b8415027cf2fbb928420342a981e7fe13241950c0252d350788c8726
-          unrolled_ast: 3d995034b8415027cf2fbb928420342a981e7fe13241950c0252d350788c8726
-          ssa_ast: 4b5a6316b2467b4cd05c44e88ec6ae5a98aae84d73e08115e61356dbfbcd0052
-          flattened_ast: 11d75c49b6d8f1a0de6a2e293bf7e2a8ddce9594ecacbad87aaddcae504c4486
-          destructured_ast: 7e4d543983a873c463fec05313bb7e5ac54053a17b50229ccc84322fdccd0ea1
-          inlined_ast: 7e4d543983a873c463fec05313bb7e5ac54053a17b50229ccc84322fdccd0ea1
-          dce_ast: a6a7a34c6364b6793e8228679ee81d507156fa805f2aea9522ebed44c28204cf
+        - initial_symbol_table: 0f5d36005197cb2fccb650b60da08e392ad4e36923fd4feb47db3a6fbb7a11de
+          type_checked_symbol_table: 9869faf372dd2871a22d7fb0c12cbcf66ac8c196d19f2ef93ce82e5595d4f9de
+          unrolled_symbol_table: 9869faf372dd2871a22d7fb0c12cbcf66ac8c196d19f2ef93ce82e5595d4f9de
+          initial_ast: 567c803bc7821a3783dde19821846bb9223cd458cb1fa362666817cca070b7fc
+          unrolled_ast: 567c803bc7821a3783dde19821846bb9223cd458cb1fa362666817cca070b7fc
+          ssa_ast: 4d19494544098b10ae0c5540f00eb356f70acb711fd155d945931714d65377e8
+          flattened_ast: 8eedddcff00ebbdfaa296163c48c54a771b847e1c9cc717d9ef02a8ab4d50949
+          destructured_ast: e5840052cce5d247d7a408cacfe535cba2e7dba844438e551e2d26324c194687
+          inlined_ast: e5840052cce5d247d7a408cacfe535cba2e7dba844438e551e2d26324c194687
+          dce_ast: d7191a0b4a59a076fdcda26e2140a5c200d259c5fae325336100bd83ed43111d
          bytecode: 1a32babe51dec0ff82a035139fa96069e6b0f7b9e7ec8f08f0802bd076deffc9
          errors: ""
          warnings: ""
--- a/tests/expectations/compiler/core/algorithms/bhp512_commit_to_group.out
+++ b/tests/expectations/compiler/core/algorithms/bhp512_commit_to_group.out
@ -3,16 +3,16 @@ namespace: Compile
 expectation: Pass
 outputs:
  - - compile:
-        - initial_symbol_table: bc00a6f0fa880e2cddf4bc424ff5f9968e43ce903d50d465f4f546e7cd4a2cf2
-          type_checked_symbol_table: 2b3107f8a94acb12092cb40d6eca58305e01681f8aaf3c4fe128ca80378d5390
-          unrolled_symbol_table: 2b3107f8a94acb12092cb40d6eca58305e01681f8aaf3c4fe128ca80378d5390
-          initial_ast: c539ad538582bc310e5dc83c3484409030cb54a14fa7bdefb3fe4867cfb044cd
-          unrolled_ast: c539ad538582bc310e5dc83c3484409030cb54a14fa7bdefb3fe4867cfb044cd
-          ssa_ast: 8fd24edd0f7697cecd31bc5149bb1d8259846b663baf341613e93ee3e682af3f
-          flattened_ast: f8967587d712ecdbd2a596face1204c67644e63893f2194698381d16ab7eda31
-          destructured_ast: 57ee7a5b5961cca69f4d894cbb664947c57b863d9013cea0c8aa086e08dd22d1
-          inlined_ast: 57ee7a5b5961cca69f4d894cbb664947c57b863d9013cea0c8aa086e08dd22d1
-          dce_ast: 9055ac8bcc1d34a7bf2bf60586c4573f7299faf6c14948648bbb40c3f35ff04b
+        - initial_symbol_table: f0f996bd026e52be88eda1f06611a250f07beb461598af45364338b71c6be67e
+          type_checked_symbol_table: ff73715654c51dd2d9fea914a60b8e6cae327c41c9b70edd77e8bc4e12e811e9
+          unrolled_symbol_table: ff73715654c51dd2d9fea914a60b8e6cae327c41c9b70edd77e8bc4e12e811e9
+          initial_ast: bc7e06366a8bb64c9766ba527b90306013d265e483549aab271c5e7fbe5ac0ff
+          unrolled_ast: bc7e06366a8bb64c9766ba527b90306013d265e483549aab271c5e7fbe5ac0ff
+          ssa_ast: 289bd77e7a9245c8d8dcbd89c528ff0b06151f8e878db4684c44f53560ca1edc
+          flattened_ast: 311cc01ba9ea1770e99694309af47b04eb5aab964766f1c125b3ee441e8f3c3a
+          destructured_ast: 0e3b7e1a59eb18a844fe53947c06b64208a8df3c217384568c8aff3e01635b69
+          inlined_ast: 0e3b7e1a59eb18a844fe53947c06b64208a8df3c217384568c8aff3e01635b69
+          dce_ast: b721d175e39abc3a87d5c390e5c984ad43fb734dfbfb5f1224acd41b232c9635
          bytecode: 834629ba3e42f71f47ce3499d777661c415ac89ad9d797c54ec4267202d48690
          errors: ""
          warnings: ""
--- a/tests/expectations/compiler/core/algorithms/bhp512_hash_to_address.out
+++ b/tests/expectations/compiler/core/algorithms/bhp512_hash_to_address.out
@ -3,16 +3,16 @@ namespace: Compile
 expectation: Pass
 outputs:
  - - compile:
-        - initial_symbol_table: 0b53989640055bef15deab2fb1e4d8691b4f1b439f1bdba64f34278be1cb37e0
-          type_checked_symbol_table: 7ea97bd3f2f1366697977d015b733d7f70222006a2c318ffd71f85b486683aa0
-          unrolled_symbol_table: 7ea97bd3f2f1366697977d015b733d7f70222006a2c318ffd71f85b486683aa0
-          initial_ast: 7409926e4a019e7ef04c6af85542ff75628d54c6c1ba17dfad3d60b508dc8be6
-          unrolled_ast: 7409926e4a019e7ef04c6af85542ff75628d54c6c1ba17dfad3d60b508dc8be6
-          ssa_ast: 40e984ee215624760e152c5c932ccb9a6d20e8e66a2a051a2f5e275834b73470
-          flattened_ast: 371d83d26067317c41d419c56df65315ac282f49b8549b8a3c84109b6ab76d5d
-          destructured_ast: d07bb98f5d86fcdea06ece5f78416507e92866c13dd15858ec149c2d5577f09e
-          inlined_ast: d07bb98f5d86fcdea06ece5f78416507e92866c13dd15858ec149c2d5577f09e
-          dce_ast: d9ce04dbd26a1145efc4d2335dc3f9a844fd7cc00260ec2368664c20f2426de6
+        - initial_symbol_table: 0f5d36005197cb2fccb650b60da08e392ad4e36923fd4feb47db3a6fbb7a11de
+          type_checked_symbol_table: 9276817b440938ef8b32982f5bbfa1161c9d01d5f02c8440c3dc0ddbc30ba758
+          unrolled_symbol_table: 9276817b440938ef8b32982f5bbfa1161c9d01d5f02c8440c3dc0ddbc30ba758
+          initial_ast: 75d87ef7e9712449d8e7caa2c13cdab57d357d794efab10436f7ff58a5b66531
+          unrolled_ast: 75d87ef7e9712449d8e7caa2c13cdab57d357d794efab10436f7ff58a5b66531
+          ssa_ast: ea5c9d8b322bc27cd74b43d781e1495bfed6b29d8bb33c0fd2b1dfe82b39710d
+          flattened_ast: 96d30c81c7d2459cddd0f5366c8dfbad3cb48ef7f205e6e90dba715aee5d7cfb
+          destructured_ast: a7fed27c8ed7d2dfc360c7c23c672f75c9095aae799d41d66233a8916d0f9095
+          inlined_ast: a7fed27c8ed7d2dfc360c7c23c672f75c9095aae799d41d66233a8916d0f9095
+          dce_ast: 6b7def707702f771bb41ee11637d5f312355c5f8fdb505c224c5ae19179c391e
          bytecode: 03845ec2f54d49f71640659603ead8f68ad067a15fda438e5e13524777d1559b
          errors: ""
          warnings: ""
--- a/tests/expectations/compiler/core/algorithms/bhp512_hash_to_field.out
+++ b/tests/expectations/compiler/core/algorithms/bhp512_hash_to_field.out
@ -3,16 +3,16 @@ namespace: Compile
 expectation: Pass
 outputs:
  - - compile:
-        - initial_symbol_table: 0b53989640055bef15deab2fb1e4d8691b4f1b439f1bdba64f34278be1cb37e0
-          type_checked_symbol_table: 857ddcccc8ba5f91784b3dde333bcc63b5883ee12d4110112eda378ac43ccdc5
-          unrolled_symbol_table: 857ddcccc8ba5f91784b3dde333bcc63b5883ee12d4110112eda378ac43ccdc5
-          initial_ast: 93235f603f7d22ec7f61154848522334bc3301d31f926ceab1fdbb6e5d7c33f1
-          unrolled_ast: 93235f603f7d22ec7f61154848522334bc3301d31f926ceab1fdbb6e5d7c33f1
-          ssa_ast: 587181ece4b6a0f834c3da623fccdd02464897f369ffd0a7f64e032d45a3d1b8
-          flattened_ast: a79a01f18a2b5afc61b965eca26cac425ed3078ea9be0d6d8397f5a4afe6a067
-          destructured_ast: ffb2d16cc039178d77da212f2c5956351520a1b395adc04de4a8dcac7f9bfe6d
-          inlined_ast: ffb2d16cc039178d77da212f2c5956351520a1b395adc04de4a8dcac7f9bfe6d
-          dce_ast: 1176082391cf301fb0321c991b4b89a3e0d0bb9eb6172ac94f9951ce1b6ed568
+        - initial_symbol_table: 0f5d36005197cb2fccb650b60da08e392ad4e36923fd4feb47db3a6fbb7a11de
+          type_checked_symbol_table: b67f708cc4a8ce4a48b40eefd2c35bfdfc54b558566f9ffee5c211dfd489ef66
+          unrolled_symbol_table: b67f708cc4a8ce4a48b40eefd2c35bfdfc54b558566f9ffee5c211dfd489ef66
+          initial_ast: 4e6ae6d7d69089bf39d1411947dcd07dcd77b36b9d7675b26624b33b8aad3998
+          unrolled_ast: 4e6ae6d7d69089bf39d1411947dcd07dcd77b36b9d7675b26624b33b8aad3998
+          ssa_ast: fe754d72777d034fd79dd49917fc091fd7c756ecf5e37ede3eac696788f4b105
+          flattened_ast: bcf86ca31cc46a5f9e49a87580f1e6c77ae49bc122b3d2b219e5842e4d34f41d
+          destructured_ast: e36e7e3b8eefd9cf7524a797db761b855b22b0aba8d69c98e142e35f1f905581
+          inlined_ast: e36e7e3b8eefd9cf7524a797db761b855b22b0aba8d69c98e142e35f1f905581
+          dce_ast: 8672100a0935f435cc70ca91943669bcea43473de4193e4939b5b7d715100e77
          bytecode: c702ea63bc91bf1aff738a0101761c3201a54f29324dfb4fbcfc7cef05017050
          errors: ""
          warnings: ""
--- a/tests/expectations/compiler/core/algorithms/bhp512_hash_to_group.out
+++ b/tests/expectations/compiler/core/algorithms/bhp512_hash_to_group.out
@ -3,16 +3,16 @@ namespace: Compile
 expectation: Pass
 outputs:
  - - compile:
-        - initial_symbol_table: bc00a6f0fa880e2cddf4bc424ff5f9968e43ce903d50d465f4f546e7cd4a2cf2
-          type_checked_symbol_table: 2b3107f8a94acb12092cb40d6eca58305e01681f8aaf3c4fe128ca80378d5390
-          unrolled_symbol_table: 2b3107f8a94acb12092cb40d6eca58305e01681f8aaf3c4fe128ca80378d5390
-          initial_ast: d763f279b99cef42b3ac7bb57d50942b30e5f8f1a1f769cd9958cef729a8e02b
-          unrolled_ast: d763f279b99cef42b3ac7bb57d50942b30e5f8f1a1f769cd9958cef729a8e02b
-          ssa_ast: 5aac0a63dd818a1f6d9d11ea0ed3a131f998ebefbc93edd21c4c299b574ff493
-          flattened_ast: 92335c0f34665b1e0169f83ba872b2d02454b50c600d4303e67c970751b3d680
-          destructured_ast: 72b8ddea2711ea11ba41262fccf5dc0badb735a31da24d30d1f4437a3d302868
-          inlined_ast: 72b8ddea2711ea11ba41262fccf5dc0badb735a31da24d30d1f4437a3d302868
-          dce_ast: 7bb5f8eef6263b9358cb8865d824a2c3fac6be338a5f34921575392945812617
+        - initial_symbol_table: f0f996bd026e52be88eda1f06611a250f07beb461598af45364338b71c6be67e
+          type_checked_symbol_table: ff73715654c51dd2d9fea914a60b8e6cae327c41c9b70edd77e8bc4e12e811e9
+          unrolled_symbol_table: ff73715654c51dd2d9fea914a60b8e6cae327c41c9b70edd77e8bc4e12e811e9
+          initial_ast: 43b97c42f8267843e2549269149197b281c28f02dd994852b0aca53e58f349fe
+          unrolled_ast: 43b97c42f8267843e2549269149197b281c28f02dd994852b0aca53e58f349fe
+          ssa_ast: 5198158375b12d51d1cbd773a49ff338f93ef8cdcf9bbae6a899ad01c60fbae3
+          flattened_ast: 89fecf16de71804f935b862bbfd8e9142a3bb2ee6b4c94c29df356213cc06f26
+          destructured_ast: dbb93c5e620a12f5c7c18593e54127b8dd8c9b8af0bca96212d710dcf103adf9
+          inlined_ast: dbb93c5e620a12f5c7c18593e54127b8dd8c9b8af0bca96212d710dcf103adf9
+          dce_ast: a7ce2b848dc5d17b6e817d4b82eb677840279daa6f895df069ef9d4ead20b755
          bytecode: a0a563d61716d3c6b3a75384d04fe6227332979ff3fb5d04a672e1db4e6fa8cb
          errors: ""
          warnings: ""
--- a/tests/expectations/compiler/core/algorithms/bhp512_hash_to_scalar.out
+++ b/tests/expectations/compiler/core/algorithms/bhp512_hash_to_scalar.out
@ -3,16 +3,16 @@ namespace: Compile
 expectation: Pass
 outputs:
  - - compile:
-        - initial_symbol_table: 79eed2f6e683aa3a028ae2e9dab1002207743d7b4a651658bbc6a5b8185e0f8c
-          type_checked_symbol_table: 17abd653b2f3fa7cd1996c2f7675fb6f64a4b5dbdd281c46e8977676e7eb857c
-          unrolled_symbol_table: 17abd653b2f3fa7cd1996c2f7675fb6f64a4b5dbdd281c46e8977676e7eb857c
-          initial_ast: fdb9831b46e0f0c0e9c19c887416efd0fb94d053626e11e0d3242d99f5032509
-          unrolled_ast: fdb9831b46e0f0c0e9c19c887416efd0fb94d053626e11e0d3242d99f5032509
-          ssa_ast: 89fc72ac8702f3766cf73f98ab203f822e35397729b9d7b0c421967b9bc1d002
-          flattened_ast: 614572fd02f9de4d005d78146f85c35cea3fc346015f7c456de94605009b6446
-          destructured_ast: 40cf8b9755b69b132e93b5cd866ac747a0ee09743f2614c7c74509b46765e2e2
-          inlined_ast: 40cf8b9755b69b132e93b5cd866ac747a0ee09743f2614c7c74509b46765e2e2
-          dce_ast: 6baf0e8647f9536d43287cac033584bcde3b749d81ffd7fd0326ad41de249e68
+        - initial_symbol_table: cde267005ab63bbf7732222cdf11cba82760283e305d151eac86294c3ddeca5e
+          type_checked_symbol_table: 70b1f7d016f3e65d2902d20fab38f69924278f04173bdbd4d112e98f751fe32d
+          unrolled_symbol_table: 70b1f7d016f3e65d2902d20fab38f69924278f04173bdbd4d112e98f751fe32d
+          initial_ast: 5f6fd488370ddabf60688e7a82ae1edba905b24baa66ad5958d1f940716222c7
+          unrolled_ast: 5f6fd488370ddabf60688e7a82ae1edba905b24baa66ad5958d1f940716222c7
+          ssa_ast: 144bf560eb807b71a9109791513c5b41a7f57bbf832fd80934342a8663c53264
+          flattened_ast: 22a1c4e4990606cf97de0707dffa2a960ef8474b9aad394894ad4866bd090164
+          destructured_ast: bff5a1c579c33f9e23d036f72562c65eef800d3afb530d6904776116a2c42ca2
+          inlined_ast: bff5a1c579c33f9e23d036f72562c65eef800d3afb530d6904776116a2c42ca2
+          dce_ast: 4e944a4d10877da57ae151e42e345fa76ec8636053ef3a2eadea1b9ae1867dd2
          bytecode: 6d1cfc85db8ba9546a0cce9391c99dc153031ab35a86b38ad443df534242c519
          errors: ""
          warnings: ""
--- a/tests/expectations/compiler/core/algorithms/bhp768_commit_to_address.out
+++ b/tests/expectations/compiler/core/algorithms/bhp768_commit_to_address.out
@ -3,16 +3,16 @@ namespace: Compile
 expectation: Pass
 outputs:
  - - compile:
-        - initial_symbol_table: 0b53989640055bef15deab2fb1e4d8691b4f1b439f1bdba64f34278be1cb37e0
-          type_checked_symbol_table: 1ab6493df9354a7e0a097a8f78ad1614dee1166e9de8ab017279fa02bcc1ee28
-          unrolled_symbol_table: 1ab6493df9354a7e0a097a8f78ad1614dee1166e9de8ab017279fa02bcc1ee28
-          initial_ast: 3b725531e4e81fb9ef7fb5c2214a1ff21b4f81d213799cfdfdcb5bd468dae722
-          unrolled_ast: 3b725531e4e81fb9ef7fb5c2214a1ff21b4f81d213799cfdfdcb5bd468dae722
-          ssa_ast: 554698d7835001c82dbf10e08ab267047a235154f6ec54f1891bdacacb78f1bd
-          flattened_ast: a9498e7c4445f9b99298df829b08be8d4ec830535ae338011298e74b37f2e8c0
-          destructured_ast: 717dbc721e10d2495a94107873a03f4e3bfd6efb5a1680bfeca0bf93a34793ff
-          inlined_ast: 717dbc721e10d2495a94107873a03f4e3bfd6efb5a1680bfeca0bf93a34793ff
-          dce_ast: 47690fcd1ee8d2cdba48c23272c73e8c4a5bb7dcb2ecacb9f88cd75c56d842b1
+        - initial_symbol_table: 0f5d36005197cb2fccb650b60da08e392ad4e36923fd4feb47db3a6fbb7a11de
+          type_checked_symbol_table: b404533efadcaeef30740a21ad3082dca23435518e2bb64a39f224582270427d
+          unrolled_symbol_table: b404533efadcaeef30740a21ad3082dca23435518e2bb64a39f224582270427d
+          initial_ast: 8450e1f26989fb3d6919e1dd456ec7d1628409d343dc47dfe65d7e1b56d3b125
+          unrolled_ast: 8450e1f26989fb3d6919e1dd456ec7d1628409d343dc47dfe65d7e1b56d3b125
+          ssa_ast: 97e701a6958ad004fb3c9b3c42fabc813e992039f72ff0205ab5f02fab283db7
+          flattened_ast: d6530d6cff222f1ca37c4297eb3e53f416b392056d0fd4dca56054d6187fce92
+          destructured_ast: d9221537570ccbded673cc8b5b19eca9cfde46d41710ddaf563f47230bc94fe5
+          inlined_ast: d9221537570ccbded673cc8b5b19eca9cfde46d41710ddaf563f47230bc94fe5
+          dce_ast: e3404d1c783bf66373dd843923fc942faf9cac3d03baf1233feaa46f5e7f5759
          bytecode: 03845ec2f54d49f71640659603ead8f68ad067a15fda438e5e13524777d1559b
          errors: ""
          warnings: ""
--- a/tests/expectations/compiler/core/algorithms/bhp768_commit_to_field.out
+++ b/tests/expectations/compiler/core/algorithms/bhp768_commit_to_field.out
@ -3,16 +3,16 @@ namespace: Compile
 expectation: Pass
 outputs:
  - - compile:
-        - initial_symbol_table: 0b53989640055bef15deab2fb1e4d8691b4f1b439f1bdba64f34278be1cb37e0
-          type_checked_symbol_table: 8e5ad458f96ada8c3cdd6424e864c7a94692cfab224dc16b6941cfd5fc99f883
-          unrolled_symbol_table: 8e5ad458f96ada8c3cdd6424e864c7a94692cfab224dc16b6941cfd5fc99f883
-          initial_ast: 45b5e75c32023cdef7aab58b99384b5311c9010256a9cfaca51781888fae3495
-          unrolled_ast: 45b5e75c32023cdef7aab58b99384b5311c9010256a9cfaca51781888fae3495
-          ssa_ast: 2066bd314a11bc63d536be349e58aa72b89aa0472e40ecfb2c92be92d55bf01a
-          flattened_ast: 2b0a92d72558c86071293ef91a47e5e2bea76d37a62aaf662c8475cf4658c488
-          destructured_ast: ab1d8272569899f77a41d0771840b24e2d1dea785ae3116ba2349e34362579ff
-          inlined_ast: ab1d8272569899f77a41d0771840b24e2d1dea785ae3116ba2349e34362579ff
-          dce_ast: 84a79017a8b5ac8cb5edac27cfc397b266efef38fb9489b75002abfe65de74bf
+        - initial_symbol_table: 0f5d36005197cb2fccb650b60da08e392ad4e36923fd4feb47db3a6fbb7a11de
+          type_checked_symbol_table: 47da8363d5a8d5de413b8fd97ec5cc722461f4128183f5effd20b39e456ba8da
+          unrolled_symbol_table: 47da8363d5a8d5de413b8fd97ec5cc722461f4128183f5effd20b39e456ba8da
+          initial_ast: 0a6f7adb02b761eed00f9f22f4283ae86e2aea6292eb755145976d04c6342c1f
+          unrolled_ast: 0a6f7adb02b761eed00f9f22f4283ae86e2aea6292eb755145976d04c6342c1f
+          ssa_ast: c85ad90dae7b9cd3f6c2d5aedb9b2404d6bc6d163d6e45b6551f791060462ea6
+          flattened_ast: 0593ddd585a759c30cc44e5957cfac6ba55c23237bb2a0b6f29ecf84f634c0c0
+          destructured_ast: 0c8a4cd277d1cda294a2e4a7a5212c81112101d069eb75250a8b48faf709567b
+          inlined_ast: 0c8a4cd277d1cda294a2e4a7a5212c81112101d069eb75250a8b48faf709567b
+          dce_ast: f6c481997c07d2f22662be92d8ca6fd5213ca4a05913cdab15772d9586196b1a
          bytecode: d6282c666e51c8c3f3ce541b16d07701dc4d0900acf44bf392cc235ed79a2484
          errors: ""
          warnings: ""
--- a/tests/expectations/compiler/core/algorithms/bhp768_commit_to_group.out
+++ b/tests/expectations/compiler/core/algorithms/bhp768_commit_to_group.out
@ -3,16 +3,16 @@ namespace: Compile
 expectation: Pass
 outputs:
  - - compile:
-        - initial_symbol_table: bc00a6f0fa880e2cddf4bc424ff5f9968e43ce903d50d465f4f546e7cd4a2cf2
-          type_checked_symbol_table: 2b3107f8a94acb12092cb40d6eca58305e01681f8aaf3c4fe128ca80378d5390
-          unrolled_symbol_table: 2b3107f8a94acb12092cb40d6eca58305e01681f8aaf3c4fe128ca80378d5390
-          initial_ast: f7856321cae8fc9c709004d0d358fc8aaa6f718db7710f7928885485eb8c57e1
-          unrolled_ast: f7856321cae8fc9c709004d0d358fc8aaa6f718db7710f7928885485eb8c57e1
-          ssa_ast: 7f674202bce70e353382ee7ed9163805bae54196e6d5938be5a28a9220f13dbb
-          flattened_ast: 4ef836f645b5026b6ad06e238b50cc9ed8318aedccac966c731c8371d1db2b35
-          destructured_ast: a5349365c9d65b51d7b49c627742ebc7cbfd08a76fd5bd2fccd939dd5b16ce87
-          inlined_ast: a5349365c9d65b51d7b49c627742ebc7cbfd08a76fd5bd2fccd939dd5b16ce87
-          dce_ast: 3e8f943bb5d518e39b37ceb493934b9d3641c312d5387b840ca1a6a266c71018
+        - initial_symbol_table: f0f996bd026e52be88eda1f06611a250f07beb461598af45364338b71c6be67e
+          type_checked_symbol_table: ff73715654c51dd2d9fea914a60b8e6cae327c41c9b70edd77e8bc4e12e811e9
+          unrolled_symbol_table: ff73715654c51dd2d9fea914a60b8e6cae327c41c9b70edd77e8bc4e12e811e9
+          initial_ast: cd85e14fa8d115408d3adba483f5a8ce4eed4eee9200f64c7f770175dd4743ec
+          unrolled_ast: cd85e14fa8d115408d3adba483f5a8ce4eed4eee9200f64c7f770175dd4743ec
+          ssa_ast: 72071bf01977d6409019f3ea58bd6e7af3a75c8f2f5ecac57ed76d993bae0f0d
+          flattened_ast: 09723d23b72843c74c9116806e50116bdb2a51dd97396faed0fcb212c0bb4cd4
+          destructured_ast: 267c124cb66b7910e36f9eedbeea1f45c1d5524e4222bc81b94026892a8cb1f2
+          inlined_ast: 267c124cb66b7910e36f9eedbeea1f45c1d5524e4222bc81b94026892a8cb1f2
+          dce_ast: 6d9bca3d769f863cb916c41731fef0e247f3c85fa217be14ea7eff3eb3aeee3f
          bytecode: 229ed43ca637238faed92dd4732941e7c471f274c74ecfe4c2a77beca892bb62
          errors: ""
          warnings: ""
--- a/tests/expectations/compiler/core/algorithms/bhp768_hash_to_address.out
+++ b/tests/expectations/compiler/core/algorithms/bhp768_hash_to_address.out
@ -3,16 +3,16 @@ namespace: Compile
 expectation: Pass
 outputs:
  - - compile:
-        - initial_symbol_table: 0b53989640055bef15deab2fb1e4d8691b4f1b439f1bdba64f34278be1cb37e0
-          type_checked_symbol_table: 7ea97bd3f2f1366697977d015b733d7f70222006a2c318ffd71f85b486683aa0
-          unrolled_symbol_table: 7ea97bd3f2f1366697977d015b733d7f70222006a2c318ffd71f85b486683aa0
-          initial_ast: d36c5fd5ba85678d696d5fbc8b18c696016114f576dd52257383b0ffac433f97
-          unrolled_ast: d36c5fd5ba85678d696d5fbc8b18c696016114f576dd52257383b0ffac433f97
-          ssa_ast: ac9a520fa6fcc0816d180b13b4200fd9087c931698185febb2d7620b924c7624
-          flattened_ast: d5d768ce102839e28a54fea4788ae0cc715e483d15f36342328655911eed3cfb
-          destructured_ast: dce52deca574b61246864c2231e5ba3139bb221135c4c4ddf0b352a122692547
-          inlined_ast: dce52deca574b61246864c2231e5ba3139bb221135c4c4ddf0b352a122692547
-          dce_ast: d9ce04dbd26a1145efc4d2335dc3f9a844fd7cc00260ec2368664c20f2426de6
+        - initial_symbol_table: 0f5d36005197cb2fccb650b60da08e392ad4e36923fd4feb47db3a6fbb7a11de
+          type_checked_symbol_table: 9276817b440938ef8b32982f5bbfa1161c9d01d5f02c8440c3dc0ddbc30ba758
+          unrolled_symbol_table: 9276817b440938ef8b32982f5bbfa1161c9d01d5f02c8440c3dc0ddbc30ba758
+          initial_ast: 0e14221fbe48218c4354e80885d3e327ca213b22c42320310b21173fb02de160
+          unrolled_ast: 0e14221fbe48218c4354e80885d3e327ca213b22c42320310b21173fb02de160
+          ssa_ast: 092906f44c79f50a839a589dc6b4370e0539e990c1ad241dbf285dc6a8f14506
+          flattened_ast: 8fb7766f1d6f9bd5c789f61e44207eab1ddb04d3725ed514a31cefd774ab5371
+          destructured_ast: ac9eca13004ba22274600b6d7dd107e4b7d5fde4d1917c7c760c21c4d48cbd33
+          inlined_ast: ac9eca13004ba22274600b6d7dd107e4b7d5fde4d1917c7c760c21c4d48cbd33
+          dce_ast: 6b7def707702f771bb41ee11637d5f312355c5f8fdb505c224c5ae19179c391e
          bytecode: 03845ec2f54d49f71640659603ead8f68ad067a15fda438e5e13524777d1559b
          errors: ""
          warnings: ""
--- a/tests/expectations/compiler/core/algorithms/bhp768_hash_to_field.out
+++ b/tests/expectations/compiler/core/algorithms/bhp768_hash_to_field.out
@ -3,16 +3,16 @@ namespace: Compile
 expectation: Pass
 outputs:
  - - compile:
-        - initial_symbol_table: 0b53989640055bef15deab2fb1e4d8691b4f1b439f1bdba64f34278be1cb37e0
-          type_checked_symbol_table: 857ddcccc8ba5f91784b3dde333bcc63b5883ee12d4110112eda378ac43ccdc5
-          unrolled_symbol_table: 857ddcccc8ba5f91784b3dde333bcc63b5883ee12d4110112eda378ac43ccdc5
-          initial_ast: 2cb76da9578e7cb2a87db3b00ad67bdb0f45383265e5529cad769dc4afcec1a4
-          unrolled_ast: 2cb76da9578e7cb2a87db3b00ad67bdb0f45383265e5529cad769dc4afcec1a4
-          ssa_ast: a578ffdad536647cdd4d909e48e88cdcc957d2c10be70cfebbb8da1ff1115e50
-          flattened_ast: 8df2ebbd67e7ff4ae6e96d18dec7ce8cce9b6850b9cf931eba85c64e631c402f
-          destructured_ast: 7f0b39f50b706ece9ca07b2a3ee2e01beb97a714bd25603f709c1962ac891683
-          inlined_ast: 7f0b39f50b706ece9ca07b2a3ee2e01beb97a714bd25603f709c1962ac891683
-          dce_ast: 64e8b2de91df2a07931b38697d3adea8e8f0562e0360fcbdffa3af17181954b3
+        - initial_symbol_table: 0f5d36005197cb2fccb650b60da08e392ad4e36923fd4feb47db3a6fbb7a11de
+          type_checked_symbol_table: b67f708cc4a8ce4a48b40eefd2c35bfdfc54b558566f9ffee5c211dfd489ef66
+          unrolled_symbol_table: b67f708cc4a8ce4a48b40eefd2c35bfdfc54b558566f9ffee5c211dfd489ef66
+          initial_ast: ae59244f2bd676657c0aad37e442ef03934174281adf3a27bd914077f69208c1
+          unrolled_ast: ae59244f2bd676657c0aad37e442ef03934174281adf3a27bd914077f69208c1
+          ssa_ast: 42cf5290655ca612270cf71a323f93c8f772e5829f8351b80ffd5e61f88ab7ac
+          flattened_ast: aa9b328501b8b3e39aeb00afba3d3eb4d63bc4ebb0473f0a02318c34b7c0b658
+          destructured_ast: 88c731b22a1998ca5be0319e603e7c91cb65fc47a8c29dbbb61d55c76028363c
+          inlined_ast: 88c731b22a1998ca5be0319e603e7c91cb65fc47a8c29dbbb61d55c76028363c
+          dce_ast: 01f971e7e390bfeab22fe4d123184cc813bcdcc6ebdc71f1830a63cafcb2aba6
          bytecode: 7da691d67f81116d91fb60593fa7fbac92c7409ecb5728174beee3fc612716a0
          errors: ""
          warnings: ""
--- a/tests/expectations/compiler/core/algorithms/bhp768_hash_to_group.out
+++ b/tests/expectations/compiler/core/algorithms/bhp768_hash_to_group.out
@ -3,16 +3,16 @@ namespace: Compile
 expectation: Pass
 outputs:
  - - compile:
-        - initial_symbol_table: bc00a6f0fa880e2cddf4bc424ff5f9968e43ce903d50d465f4f546e7cd4a2cf2
-          type_checked_symbol_table: 2b3107f8a94acb12092cb40d6eca58305e01681f8aaf3c4fe128ca80378d5390
-          unrolled_symbol_table: 2b3107f8a94acb12092cb40d6eca58305e01681f8aaf3c4fe128ca80378d5390
-          initial_ast: d12b88b7946c4dfc252e8502f813c9479ece6bc568ca16c5b7f0d11293329b0e
-          unrolled_ast: d12b88b7946c4dfc252e8502f813c9479ece6bc568ca16c5b7f0d11293329b0e
-          ssa_ast: 3cf3e8c309f06ec8b6f8f89faf86030d09ddba6bf44204fc701eb85d0c91c25c
-          flattened_ast: 38e7543f96afc8ea6e5374d390b5739705193816064f41806a70959dc2b7f370
-          destructured_ast: fec8bd37d21cb73164b8f46a858bf8ad722152c49d2b01785c0365a533476055
-          inlined_ast: fec8bd37d21cb73164b8f46a858bf8ad722152c49d2b01785c0365a533476055
-          dce_ast: 0b5f016d7cf2a1a675f92dfe8abbb1e5655b4dbda20ebbb5bad307abee1b52d9
+        - initial_symbol_table: f0f996bd026e52be88eda1f06611a250f07beb461598af45364338b71c6be67e
+          type_checked_symbol_table: ff73715654c51dd2d9fea914a60b8e6cae327c41c9b70edd77e8bc4e12e811e9
+          unrolled_symbol_table: ff73715654c51dd2d9fea914a60b8e6cae327c41c9b70edd77e8bc4e12e811e9
+          initial_ast: 8cbf0ed02d13a22c74d917f2eab44c7963f4e51e14ea2412cb3d59cabe390500
+          unrolled_ast: 8cbf0ed02d13a22c74d917f2eab44c7963f4e51e14ea2412cb3d59cabe390500
+          ssa_ast: c5b179ddc6db46257d3df315f8bbcf48680b9816865e47568d2856808bc0c0e8
+          flattened_ast: 02f5464f8c2f3cb790b24ee3c83e1a3ba15cbdeacfec446212e40d404e210227
+          destructured_ast: d77887add09eae05290dec2e2d990a8baf30d1a8c6d400e0b7f5e92c86e97e0d
+          inlined_ast: d77887add09eae05290dec2e2d990a8baf30d1a8c6d400e0b7f5e92c86e97e0d
+          dce_ast: 3dbdfe974619e59170a60e84ec3c94df75bed07ce38fc6e1bd15ded9b2f092f2
          bytecode: 6d469fd18d4b6f00204c95b4a6f2b98ceecb94947ac706bcba8976d667d9921b
          errors: ""
          warnings: ""
--- a/tests/expectations/compiler/core/algorithms/bhp768_hash_to_scalar.out
+++ b/tests/expectations/compiler/core/algorithms/bhp768_hash_to_scalar.out
@ -3,16 +3,16 @@ namespace: Compile
 expectation: Pass
 outputs:
  - - compile:
-        - initial_symbol_table: 79eed2f6e683aa3a028ae2e9dab1002207743d7b4a651658bbc6a5b8185e0f8c
-          type_checked_symbol_table: 17abd653b2f3fa7cd1996c2f7675fb6f64a4b5dbdd281c46e8977676e7eb857c
-          unrolled_symbol_table: 17abd653b2f3fa7cd1996c2f7675fb6f64a4b5dbdd281c46e8977676e7eb857c
-          initial_ast: e86d9034a99b151b3c24e6fa8144c39c364fc7419f6485ef5ff9306003e3380a
-          unrolled_ast: e86d9034a99b151b3c24e6fa8144c39c364fc7419f6485ef5ff9306003e3380a
-          ssa_ast: b1b76872d420d374047685a8caa8997573809809fb38c22070202c22a372cdfe
-          flattened_ast: 17c15ad8def3723dc51bada88cd6993aae173c425aad665b8ed562a5c507ad16
-          destructured_ast: b6e13af7316132c7f6e50a61b2b3c8c925156bf508d4acbbee7833620ae03b18
-          inlined_ast: b6e13af7316132c7f6e50a61b2b3c8c925156bf508d4acbbee7833620ae03b18
-          dce_ast: dd33ed056dbc212a536bb457905d3b97821edf0586948cc23d9b31b32cfeb75c
+        - initial_symbol_table: cde267005ab63bbf7732222cdf11cba82760283e305d151eac86294c3ddeca5e
+          type_checked_symbol_table: 70b1f7d016f3e65d2902d20fab38f69924278f04173bdbd4d112e98f751fe32d
+          unrolled_symbol_table: 70b1f7d016f3e65d2902d20fab38f69924278f04173bdbd4d112e98f751fe32d
+          initial_ast: bc78490fbc83c2f2d015180751edc1fc4be822197bc92ff5a9be265b411536e3
+          unrolled_ast: bc78490fbc83c2f2d015180751edc1fc4be822197bc92ff5a9be265b411536e3
+          ssa_ast: 57cb4afedfec2088d578000543d904b2025d709450f1e08e602924443306905b
+          flattened_ast: 24313c71d15e9f1d87f795ef7997ea2ea73ba6221aba38ff5db282429be5d2d5
+          destructured_ast: 1e2ba4e7c954b226892c2b6812b84817665d7f2df09dff5dca0ed6f7b293b6ac
+          inlined_ast: 1e2ba4e7c954b226892c2b6812b84817665d7f2df09dff5dca0ed6f7b293b6ac
+          dce_ast: 90aa29eab4ae69a0fb8da5baa1beaf1166ba47ec9102a84c34b5b36e2f09ce93
          bytecode: 39f2fd495ce761fe3a8fb011b05bfe34e50db91dbd7f9a5bec40a8aa8187f0b1
          errors: ""
          warnings: ""
--- a/tests/expectations/compiler/core/algorithms/integers/bhp1024/bhp1024_hash_to_i128.out
+++ b/tests/expectations/compiler/core/algorithms/integers/bhp1024/bhp1024_hash_to_i128.out
@ -3,16 +3,16 @@ namespace: Compile
 expectation: Pass
 outputs:
  - - compile:
-        - initial_symbol_table: 6467a63ee1354e95dba9760f5128eb6f561f4c747fe8c581d9785a312b66ea5a
-          type_checked_symbol_table: eb50a48a6bb864efd915e9b6111ede0fd87b6757561df15ffe022ef380dc3069
-          unrolled_symbol_table: eb50a48a6bb864efd915e9b6111ede0fd87b6757561df15ffe022ef380dc3069
-          initial_ast: 0971f4b55068cfe0b74627f9a2e47e81c15a2074456337130aa90761dee41bb1
-          unrolled_ast: 0971f4b55068cfe0b74627f9a2e47e81c15a2074456337130aa90761dee41bb1
-          ssa_ast: 8e8da2b3153ba8eead9a826cf34b46ab583a26694cb737bc69fb2a64bf1f56ad
-          flattened_ast: 827ac90036961af3578f18861b41fa02d963637c99745d37572d40ddd6febe5c
-          destructured_ast: ccf6063e4f51a1714a1eea4d1678e64365ef2663c10ede673d4f919752c8d018
-          inlined_ast: ccf6063e4f51a1714a1eea4d1678e64365ef2663c10ede673d4f919752c8d018
-          dce_ast: 83ad2640cb5a617bffd8aca06931e20c653b63760a24a39ef0baff75ec26459b
+        - initial_symbol_table: 7663250c6f266d8ff8bc029270277b0e00033e6628ea14a1b3dd9f46eeb34834
+          type_checked_symbol_table: 85f860a6f878c647bb1ce0795064b136203d3d64a6a12ca6ef59af594af77dce
+          unrolled_symbol_table: 85f860a6f878c647bb1ce0795064b136203d3d64a6a12ca6ef59af594af77dce
+          initial_ast: 63f31269f0fbf44b0210fb6ef885ac4e2ac4cca59135761ec038d46f48d9d477
+          unrolled_ast: 63f31269f0fbf44b0210fb6ef885ac4e2ac4cca59135761ec038d46f48d9d477
+          ssa_ast: 72bd4ecd5c08c581d969af0410202799975370c382dfc30849cd456204e2c680
+          flattened_ast: 49520471dfafda1e82172a37e14cda7b137b608e8fb883035b0aa8b0ec8a4407
+          destructured_ast: 73c5946dcb9bfd3ffd9c40eca73a6d4381cfcc7105f253e6298692f9ccab5245
+          inlined_ast: 73c5946dcb9bfd3ffd9c40eca73a6d4381cfcc7105f253e6298692f9ccab5245
+          dce_ast: 4041b00f0e2fe32e69147ce6b133d384377ac45821c9def0740d410c566dd212
          bytecode: 291203118efe8ad584e0fe1e5ad940b457fea07bc1833c28dcc64d0f5e380261
          errors: ""
          warnings: ""
--- a/tests/expectations/compiler/core/algorithms/integers/bhp1024/bhp1024_hash_to_i16.out
+++ b/tests/expectations/compiler/core/algorithms/integers/bhp1024/bhp1024_hash_to_i16.out
@ -3,16 +3,16 @@ namespace: Compile
 expectation: Pass
 outputs:
  - - compile:
-        - initial_symbol_table: e276b05db8e6b69ca3ffa88df800e2132553055ec7eeaf1fedbb6c34bf47822a
-          type_checked_symbol_table: 36e3ba0129fb7ad935fa93867e1d3ce97a8aa25881ead5b6e37c1fc0deef2c7a
-          unrolled_symbol_table: 36e3ba0129fb7ad935fa93867e1d3ce97a8aa25881ead5b6e37c1fc0deef2c7a
-          initial_ast: 5dd649055a73546b6239160fb3264054ff9d6603238e87e0b92d62e7989ac6b9
-          unrolled_ast: 5dd649055a73546b6239160fb3264054ff9d6603238e87e0b92d62e7989ac6b9
-          ssa_ast: ac1160e437726c0b34a26e7c2ac631757b8668f8bfb444412dbe936991d10871
-          flattened_ast: 79431ae4be3d2f8c7148ae3d852ac3a48212f0af893c7e4b2207d28e80f4e6b4
-          destructured_ast: c14102e12e2435fbb25c6def3b6728e69272529539a4084c994aae97f9d3d725
-          inlined_ast: c14102e12e2435fbb25c6def3b6728e69272529539a4084c994aae97f9d3d725
-          dce_ast: 9beb94b6f2236420c819174c6e035bb23725e662ee2659b3b0b8893268a23152
+        - initial_symbol_table: 290d40a093afd471bc1d3a52c29e2e26e92306eb875e45a0f4331fb42b9ce0f0
+          type_checked_symbol_table: 53cd6927f60374950c3d2059d575bd1ca571cba352ad61b93ee8ef0f3dd17d88
+          unrolled_symbol_table: 53cd6927f60374950c3d2059d575bd1ca571cba352ad61b93ee8ef0f3dd17d88
+          initial_ast: 4570f3d60cfd9c59db360af64609c7449620bcdbc37f38b73e7a8e51291e9beb
+          unrolled_ast: 4570f3d60cfd9c59db360af64609c7449620bcdbc37f38b73e7a8e51291e9beb
+          ssa_ast: 843f9361633d9067ac50995d3c58641fdf5605047f7701793745068c2ad33821
+          flattened_ast: ff7c5f4b61c62ef352c42ad10ccad13f78d1efaedfe5b8597632615997715fe1
+          destructured_ast: 998bb4c4164cb33a19372c910409405d80eacfb5a7deb7c754f108f41219e6a3
+          inlined_ast: 998bb4c4164cb33a19372c910409405d80eacfb5a7deb7c754f108f41219e6a3
+          dce_ast: 8e3fb0cc378a4051961e723094483f9150e37a34fa32a6462a62c0c043e5f2ad
          bytecode: aabc532da97dad13de4f6538e8b18c6696e0a4e16ba5c50624add1e547aadbb0
          errors: ""
          warnings: ""
--- a/tests/expectations/compiler/core/algorithms/integers/bhp1024/bhp1024_hash_to_i32.out
+++ b/tests/expectations/compiler/core/algorithms/integers/bhp1024/bhp1024_hash_to_i32.out
@ -3,16 +3,16 @@ namespace: Compile
 expectation: Pass
 outputs:
  - - compile:
-        - initial_symbol_table: 4cebbf12b1be5edea4f632d15e3fb699ef4935d2ae703091da80fc474c8de9cc
-          type_checked_symbol_table: 3f0d8599e1e7fee664aa8947d8d7e2aee461702e758a36ad7beec38224a4f521
-          unrolled_symbol_table: 3f0d8599e1e7fee664aa8947d8d7e2aee461702e758a36ad7beec38224a4f521
-          initial_ast: 52248e4c0972574fd4af0543a8f095fff09171da9557fa402674bc9490948af8
-          unrolled_ast: 52248e4c0972574fd4af0543a8f095fff09171da9557fa402674bc9490948af8
-          ssa_ast: aa3a79e23ea405d1aca0cba0fbdc65e1bcbee8b41079d85b58a53f36d248432e
-          flattened_ast: 485142a5730ae4bedc2e09a8e83b9c1b0666821ad7cf3da4128ba8b42d0d3e1d
-          destructured_ast: 74a4265d331ad08a275838139621dc7e21e320cc99b5cb55c77d2590088cf931
-          inlined_ast: 74a4265d331ad08a275838139621dc7e21e320cc99b5cb55c77d2590088cf931
-          dce_ast: 0389dcf4bdf36e74f9ebb7bf2b9dd7e9adc4273b63f128deb75a8fa1d613eb3d
+        - initial_symbol_table: 4f1b711ac4ce320723caab53c19d79ca9d58c7f2713aa7a0ba7a88fcb3722380
+          type_checked_symbol_table: 94798bfa98c80ee322eb7ee8ef795ee8326b556310da986d1af3aca6b421793d
+          unrolled_symbol_table: 94798bfa98c80ee322eb7ee8ef795ee8326b556310da986d1af3aca6b421793d
+          initial_ast: e97d4b6fe64bf4d32129961426b79d23f443b138a3a9d7386a083f8f1d4d8e74
+          unrolled_ast: e97d4b6fe64bf4d32129961426b79d23f443b138a3a9d7386a083f8f1d4d8e74
+          ssa_ast: f955c72badbf8fda6056c12f92eb5d837d55c0289d3315c5d1aea98dc19fca08
+          flattened_ast: 6c281bbe0126590b8741e611e759cbdf2fe09d1c3093ffe0832f4880ca820f19
+          destructured_ast: ebf237f5a91a0d2f2ffd10753137dc93418b04cc88c6210d770b5bea05d6f720
+          inlined_ast: ebf237f5a91a0d2f2ffd10753137dc93418b04cc88c6210d770b5bea05d6f720
+          dce_ast: b0c2ed62feb9a25653d3f3a3f49935e84a1131596b578df6c011076b2d2106f9
          bytecode: fb50b455787039d40359e8561b3c38dce51cc9bfd62c06db7cdad7ed77575e4c
          errors: ""
          warnings: ""
--- a/tests/expectations/compiler/core/algorithms/integers/bhp1024/bhp1024_hash_to_i64.out
+++ b/tests/expectations/compiler/core/algorithms/integers/bhp1024/bhp1024_hash_to_i64.out
@ -3,16 +3,16 @@ namespace: Compile
 expectation: Pass
 outputs:
  - - compile:
-        - initial_symbol_table: 8ee526275755ac00f4021d83c0910b43dfe778d89a9b648af676aeea6069c7ff
-          type_checked_symbol_table: 667298b34ede0080d586ea0d33fea24caa30161858ea6b4909bc016307ee4998
-          unrolled_symbol_table: 667298b34ede0080d586ea0d33fea24caa30161858ea6b4909bc016307ee4998
-          initial_ast: ae57d7569e4050cfc6a80fdadd0fed609e42151cb3a4fa7ec74d7741918ced99
-          unrolled_ast: ae57d7569e4050cfc6a80fdadd0fed609e42151cb3a4fa7ec74d7741918ced99
-          ssa_ast: c71c2648c8e618c3c39408a79ec58ff7e5a3eba25b75af8fa0600b77c22c6d52
-          flattened_ast: 57b747e7ecd727b837b8ea0fa9b19384268db95b4288336216e1518946a2458b
-          destructured_ast: 8f29e61b3cd7631b945ca7eb09012ed85ecfde26aae1bb82fa13fd3908d0dbf2
-          inlined_ast: 8f29e61b3cd7631b945ca7eb09012ed85ecfde26aae1bb82fa13fd3908d0dbf2
-          dce_ast: 7d2071061fd0550d75c9c31ae9556a9c9b72026a0ac396edbcfc970f61d9c6be
+        - initial_symbol_table: 07765fd5744b4db718505bb192e1b8d4f320959bd7637d3b17c239ae7251f2e3
+          type_checked_symbol_table: 7d73ccf676f12a6181beba19e2a833221e501cafb11a15de29b2a93efc5f3e55
+          unrolled_symbol_table: 7d73ccf676f12a6181beba19e2a833221e501cafb11a15de29b2a93efc5f3e55
+          initial_ast: 00579230ce84e7834ad499a19e960c8a3b9ec9621020f90cba124832b6978484
+          unrolled_ast: 00579230ce84e7834ad499a19e960c8a3b9ec9621020f90cba124832b6978484
+          ssa_ast: ac724bab595f3a227b63680a4a480ff3c0edf7f4003783706b25c494f1fe653b
+          flattened_ast: 8d33be9abdf59d70741f463c306f3f19458b8a0606c4a26d2a4c2fdf945c8a43
+          destructured_ast: abf250ec39af33eb227c6efc427d2b72ad80cc27fc2085bdc1af51db9c3083e8
+          inlined_ast: abf250ec39af33eb227c6efc427d2b72ad80cc27fc2085bdc1af51db9c3083e8
+          dce_ast: d389376a3a459dde1c1d00857f2d47aa3081ce6c395cf08be68bea8518cbdb22
          bytecode: 0f39fde0b1e15ee4f8db0c84a7a280cdeac852cdca4959a14a61776aa661ced5
          errors: ""
          warnings: ""
--- a/tests/expectations/compiler/core/algorithms/integers/bhp1024/bhp1024_hash_to_i8.out
+++ b/tests/expectations/compiler/core/algorithms/integers/bhp1024/bhp1024_hash_to_i8.out
@ -3,16 +3,16 @@ namespace: Compile
 expectation: Pass
 outputs:
  - - compile:
-        - initial_symbol_table: 8c22b100668257ba565eeb4bdac218e64a0317a34c8ddd7056b8cac6343c767e
-          type_checked_symbol_table: 53a5b562cbbfc13ca31fb239ef1d13b13aa55c0e6fa2dacee730726f3ff3510e
-          unrolled_symbol_table: 53a5b562cbbfc13ca31fb239ef1d13b13aa55c0e6fa2dacee730726f3ff3510e
-          initial_ast: b723e731f20772efe37c43b350986c826756bd19aeb59ae40f08e23eaa31541c
-          unrolled_ast: b723e731f20772efe37c43b350986c826756bd19aeb59ae40f08e23eaa31541c
-          ssa_ast: 39d4c8bfee7ac778f6d384922c9f93fc2c82b0fb7d10c9fc03dea4fe91fb3d24
-          flattened_ast: 475ae035e87b43e9b0f60964d26ae667cb7cc9939c7beac7f152f84fa9b07c56
-          destructured_ast: b6198b183b910559858179d121b23b4e47e2f42e04dd4fb85f757f5d06c4bccc
-          inlined_ast: b6198b183b910559858179d121b23b4e47e2f42e04dd4fb85f757f5d06c4bccc
-          dce_ast: 536265f96de7c2d17291d6546c3f02d06766094fbe8cf5d7265dc451d1214c75
+        - initial_symbol_table: 35ee2e769ba8d1a174cc4f967f1b9a4f8844bba3d9982c2ac3070ce1d6825060
+          type_checked_symbol_table: 499c212f93d8d1968ab8caeb746487a1733eed5a898dc32b222e09e5df217c9f
+          unrolled_symbol_table: 499c212f93d8d1968ab8caeb746487a1733eed5a898dc32b222e09e5df217c9f
+          initial_ast: ef77ba8524554b5cea58a2002e90c0c21311856d9810bd7510361239342ee1d9
+          unrolled_ast: ef77ba8524554b5cea58a2002e90c0c21311856d9810bd7510361239342ee1d9
+          ssa_ast: 06b27991c9eb3aca313277bf4f6bc1f96968808fd8d709b2cd7019626421f997
+          flattened_ast: 6cc2cf900af44734924155190757fc81d4146597e1123511ac3deb1a7a3ea765
+          destructured_ast: 7d2c3c65cdb827285807dd78174db70d3f12748142e614508995001132f159ef
+          inlined_ast: 7d2c3c65cdb827285807dd78174db70d3f12748142e614508995001132f159ef
+          dce_ast: 15667bffc2879bf3bcfbab24f280e28cb54953f545f5d491f4ba2e65c1534bb4
          bytecode: b267a8888601eb2f66b0e0f9814268308403849dd65f3535cea29bcd4245360e
          errors: ""
          warnings: ""
--- a/tests/expectations/compiler/core/algorithms/integers/bhp1024/bhp1024_hash_to_u128.out
+++ b/tests/expectations/compiler/core/algorithms/integers/bhp1024/bhp1024_hash_to_u128.out
@ -3,16 +3,16 @@ namespace: Compile
 expectation: Pass
 outputs:
  - - compile:
-        - initial_symbol_table: 39f3fa8604259aee8964c8ff8d49efd1821694fecd76f0dc9007ca7f75ded146
-          type_checked_symbol_table: 8f22d66116ac703d735d89143a7ae2148e6f0ef26290a3cfd6337c9558e2949d
-          unrolled_symbol_table: 8f22d66116ac703d735d89143a7ae2148e6f0ef26290a3cfd6337c9558e2949d
-          initial_ast: b09690748dbdbd9cfb0be40ddd1169406f1956fe4d014be575eb599edba4b76d
-          unrolled_ast: b09690748dbdbd9cfb0be40ddd1169406f1956fe4d014be575eb599edba4b76d
-          ssa_ast: 892a555a85f938ceb45e27b3889fbd1d2782c85f9f6a91f18d16dcbb5df431ed
-          flattened_ast: afba42c28edf0ff0ac7cf06422d2a5d9b4b14934cd08c7370fd9cceb89c13cf2
-          destructured_ast: 0d026066e012cbe6a8d6a95a61177f2ce4173ff5cb070de651fff7248ce43c24
-          inlined_ast: 0d026066e012cbe6a8d6a95a61177f2ce4173ff5cb070de651fff7248ce43c24
-          dce_ast: 21b26bb25ce96c99a07aa483254c8ae2d6ca3951e1544e320712066789f4175c
+        - initial_symbol_table: c61001eb615254ac870ec9d0371f14625c9f8a37460dcd21200d89dc858a38b0
+          type_checked_symbol_table: 3b673765d4870f7a85c78676fd417b30a14bc2c4f7197a499b6f2f278440d39a
+          unrolled_symbol_table: 3b673765d4870f7a85c78676fd417b30a14bc2c4f7197a499b6f2f278440d39a
+          initial_ast: ba3d5920eddba175690d74b373b819e8b37d8c265848a37978a2e225180327a2
+          unrolled_ast: ba3d5920eddba175690d74b373b819e8b37d8c265848a37978a2e225180327a2
+          ssa_ast: 96e47dd5b17ea9c843051027b371675dbb694294acedf74094aacc705820fdd1
+          flattened_ast: 8062ad5abdcf2dd5dff0cb16388249bcaf8a1016e92234bea147c06934034f3f
+          destructured_ast: 1d37ab8679df32c5e76a7386f7d84c5ca4a9f5cfafea382ba048c9297b846b53
+          inlined_ast: 1d37ab8679df32c5e76a7386f7d84c5ca4a9f5cfafea382ba048c9297b846b53
+          dce_ast: c568c6400fb6895c62a37831510854048c820b11582336beb4e219dde92f46f6
          bytecode: 82114d77c21652d52ef1000d4f83e8539bcefb03acf8ceec8e75f36e4acb3062
          errors: ""
          warnings: ""
--- a/tests/expectations/compiler/core/algorithms/integers/bhp1024/bhp1024_hash_to_u16.out
+++ b/tests/expectations/compiler/core/algorithms/integers/bhp1024/bhp1024_hash_to_u16.out
@ -3,16 +3,16 @@ namespace: Compile
 expectation: Pass
 outputs:
  - - compile:
-        - initial_symbol_table: 0a4365cf4560871d2fcbf3ca79d88a935969d230993bd958d28cedcfddde4c94
-          type_checked_symbol_table: 652a4b5d0da7be31b390b792b4a6ddcc4da23fdf451975a6f8b0aad0806672ac
-          unrolled_symbol_table: 652a4b5d0da7be31b390b792b4a6ddcc4da23fdf451975a6f8b0aad0806672ac
-          initial_ast: 96a0e81cba699d8b9b6d5369f2cc25c5b90d192cfd196189dee2c93e50a3313e
-          unrolled_ast: 96a0e81cba699d8b9b6d5369f2cc25c5b90d192cfd196189dee2c93e50a3313e
-          ssa_ast: 538a6fb4f3f166e306e67ac0da79081ed469254af7eed54b3bb9ca4f31e8d54c
-          flattened_ast: 1f4fa1ec5d2f0de0558c643d1d7d41956dfb72fe6259a2ee14b5230d3185e04b
-          destructured_ast: e82fa42bec66805a84507e72bd36c172ac9933ea57282ba39f85e8d475932e06
-          inlined_ast: e82fa42bec66805a84507e72bd36c172ac9933ea57282ba39f85e8d475932e06
-          dce_ast: 4716e149d43a9343463918287d796b68337a5b40faabbe4202477fc09fabe1c4
+        - initial_symbol_table: 0ca2caa5119ad8321c02902964c50669237711713d6ff2978bee751b9188925b
+          type_checked_symbol_table: 4dca1d62163f5d313d3dc3eba26a64f890dd816c23c96432624135c5c1426af6
+          unrolled_symbol_table: 4dca1d62163f5d313d3dc3eba26a64f890dd816c23c96432624135c5c1426af6
+          initial_ast: cf9e1f6145f0d42da4609bf1de607bb7ee36f9d9da810b00339985af53955316
+          unrolled_ast: cf9e1f6145f0d42da4609bf1de607bb7ee36f9d9da810b00339985af53955316
+          ssa_ast: c4c2d65ef9b71face27583892961e964bc2248ddc2d25d5928e95aebfe93b01c
+          flattened_ast: 9b378ca7a9cfa7d3fdd1864f50d89be1b4e6a9a4ad034e44d82542017146c7c9
+          destructured_ast: 51450cfe0483b802a1fc84d15b6c5813a1109bf9955902eb74d806a168d81a84
+          inlined_ast: 51450cfe0483b802a1fc84d15b6c5813a1109bf9955902eb74d806a168d81a84
+          dce_ast: 829fc8a14c8fc43c1aec4af92dc4339a070b83597cfdae6c3a161481dfa2bc80
          bytecode: 5eeedee42e2476fb270490327599aed56d2d2086addd96030cb733ad90fff082
          errors: ""
          warnings: ""
--- a/tests/expectations/compiler/core/algorithms/integers/bhp1024/bhp1024_hash_to_u32.out
+++ b/tests/expectations/compiler/core/algorithms/integers/bhp1024/bhp1024_hash_to_u32.out
@ -3,16 +3,16 @@ namespace: Compile
 expectation: Pass
 outputs:
  - - compile:
-        - initial_symbol_table: 2dc7ad5e83f9c1cba20c56645ec155cb70abd718a81424b366f6c5678c6de77a
-          type_checked_symbol_table: c149a9b656b0bf41d055568d6d3c38be12cb9e7c46fd669f861d918fc8f86e99
-          unrolled_symbol_table: c149a9b656b0bf41d055568d6d3c38be12cb9e7c46fd669f861d918fc8f86e99
-          initial_ast: 0c0a234823cbba6b7ced17284807d06a647befe859bd6de8c1c80e75fda7908a
-          unrolled_ast: 0c0a234823cbba6b7ced17284807d06a647befe859bd6de8c1c80e75fda7908a
-          ssa_ast: 76ead1cdd13dcf285c14639c0aa4e42b399bb815d3e68fb480a36a91cc68ba1d
-          flattened_ast: 99aa4094c6d1628d8858f131e9a8b483fd70ac26adb4ea17db83e63cce6c2e5f
-          destructured_ast: febf0d45daf44c6e2a716606dc4e59c27a335e0c5efaa9337b325b099b693adb
-          inlined_ast: febf0d45daf44c6e2a716606dc4e59c27a335e0c5efaa9337b325b099b693adb
-          dce_ast: 2b2e623cb5deab060f95404eccf329cf12cbd2e9ef8110e7304177bce9eb6d50
+        - initial_symbol_table: 8a8e3573eac7f8f017654f77635ed47fa35bdc38f8f236577f70eaf8d902f0bb
+          type_checked_symbol_table: 28867dd4811976283a9b5e0d146926f02dbf0b1d1e23d3173901ffff0c26cce9
+          unrolled_symbol_table: 28867dd4811976283a9b5e0d146926f02dbf0b1d1e23d3173901ffff0c26cce9
+          initial_ast: 2d02684e002f3b36d1e3b4e9d21105c866c2cf9109ca9563f32a31e9eadbfd87
+          unrolled_ast: 2d02684e002f3b36d1e3b4e9d21105c866c2cf9109ca9563f32a31e9eadbfd87
+          ssa_ast: 4359e44fdf024ba23fd39c83940119947e8a397f7be349477be5e0cdf5766dfd
+          flattened_ast: 9ab0f244cc23f660bf72e70fc8d2ae29a8e37975b89ea1648e9b69970378104c
+          destructured_ast: c7772477979d94a281ca29a5d112e7057dfa2c4edee4e319e384e94e95e2defb
+          inlined_ast: c7772477979d94a281ca29a5d112e7057dfa2c4edee4e319e384e94e95e2defb
+          dce_ast: aade46d3ed171e0d5b65d4f87d1b0bb4016faf9a1f0d39e38aa4ecb4c23b748d
          bytecode: 5ec7cc3de6c113f85819e7425d3cba1d1c9d72dbd11bb4dcc38aa93ef89cdf2e
          errors: ""
          warnings: ""
--- a/tests/expectations/compiler/core/algorithms/integers/bhp1024/bhp1024_hash_to_u64.out
+++ b/tests/expectations/compiler/core/algorithms/integers/bhp1024/bhp1024_hash_to_u64.out
@ -3,16 +3,16 @@ namespace: Compile
 expectation: Pass
 outputs:
  - - compile:
-        - initial_symbol_table: d5fd069f6ac8ae6bf3f0312c296b2e8992a55396485d96bcbed914675f614b70
-          type_checked_symbol_table: d5db26b218aac3755c6d6d30cf6a5599dbdf0efc1e739d355bd4362ee6939481
-          unrolled_symbol_table: d5db26b218aac3755c6d6d30cf6a5599dbdf0efc1e739d355bd4362ee6939481
-          initial_ast: fe79bdaceb26d783616c6769727726062a69994a03e23f27c27fef1932017bd0
-          unrolled_ast: fe79bdaceb26d783616c6769727726062a69994a03e23f27c27fef1932017bd0
-          ssa_ast: b690e0a65a66428c7e52677d14a93ad0c74c058823e38093cf94227c123a9e87
-          flattened_ast: da4f22518c826e0a4a600b80d0bd33d0f53177fccae09d53ac11842b8f0cafef
-          destructured_ast: d208ba75da6f69cf5f0824a419932ee8c1b829b7610769b2f9d776053e22f996
-          inlined_ast: d208ba75da6f69cf5f0824a419932ee8c1b829b7610769b2f9d776053e22f996
-          dce_ast: b2c5009707d9a313fa8e4406cae3a8be4278825e2f717e4b38f8e1647be4a31f
+        - initial_symbol_table: bf263d04fc2a6ac36471c659256e5478fdf34037fdce7f864e8b162ff591efc1
+          type_checked_symbol_table: 53bf621a0d188b44634e3178e7de4ba51612d1f857927d994e2d44ffe1e9b8b3
+          unrolled_symbol_table: 53bf621a0d188b44634e3178e7de4ba51612d1f857927d994e2d44ffe1e9b8b3
+          initial_ast: c2fd6ecd3fa9d071ce4ffbc5d92fda4449860b644bcaf914bbd7aff8256041c5
+          unrolled_ast: c2fd6ecd3fa9d071ce4ffbc5d92fda4449860b644bcaf914bbd7aff8256041c5
+          ssa_ast: 4c010b7f7f23941f554842278bf56226dc1c4d19511caeb304ceda3d37929bf5
+          flattened_ast: 2e71309fcc0aeeb1a7e08266d611539d5c90d77ba703cc06a2142796bb8aedc0
+          destructured_ast: dc64fb8fd34176ae5fe9a2f7adc8b1f6b24bcfc3dd9ee91f1a57a716e0d2476c
+          inlined_ast: dc64fb8fd34176ae5fe9a2f7adc8b1f6b24bcfc3dd9ee91f1a57a716e0d2476c
+          dce_ast: 893615b837645844e70584a36bbd446d9851ce154b3525c9d46fea8ca4171f9b
          bytecode: 400dea3099e787d74f8c336d3a7cc2d26e8de8bf52e579bed30244f437aa25f6
          errors: ""
          warnings: ""
--- a/tests/expectations/compiler/core/algorithms/integers/bhp1024/bhp1024_hash_to_u8.out
+++ b/tests/expectations/compiler/core/algorithms/integers/bhp1024/bhp1024_hash_to_u8.out
@ -3,16 +3,16 @@ namespace: Compile
 expectation: Pass
 outputs:
  - - compile:
-        - initial_symbol_table: dd9f4e83f6c323990bf20628ddb73c5db2fbfa246e70a8365e06dbb37bc88ff3
-          type_checked_symbol_table: 67190d8f33c3f10b6e31b4174b678a5767b21736929d10e1059c656efac2bac7
-          unrolled_symbol_table: 67190d8f33c3f10b6e31b4174b678a5767b21736929d10e1059c656efac2bac7
-          initial_ast: b14ad53a09df499f184148a2590794408169384afeccefcc8c10bce499ecf984
-          unrolled_ast: b14ad53a09df499f184148a2590794408169384afeccefcc8c10bce499ecf984
-          ssa_ast: b57dd4600d2ee926135eff253390c4cbb3755c6cf4ee75264dc2ca718b6396b7
-          flattened_ast: 3aaea2c12cf1525b6532761aa007f06611e18ab9378eb71ee2400fcb9c11fc0a
-          destructured_ast: bc401761d6101b3645ef0b03756f91702260b9df028c709dfbc3843d8f97027d
-          inlined_ast: bc401761d6101b3645ef0b03756f91702260b9df028c709dfbc3843d8f97027d
-          dce_ast: 2a624eb50f6967a040918454f40a91e7d240b7781258463d685d25eb2a40b274
+        - initial_symbol_table: 6f3b0bb827fe9e0527663a89ab2bb176631983eb7f66fc71c01437d229aab92f
+          type_checked_symbol_table: 469c1b2c9bd2ca9d2a8bfdd68f3fdf29988d0ada94149ec8cb650ec3ff419534
+          unrolled_symbol_table: 469c1b2c9bd2ca9d2a8bfdd68f3fdf29988d0ada94149ec8cb650ec3ff419534
+          initial_ast: a3075a13ef24b2c3b79cd8f197fdeda463f65d5490ab84ff10095bcf411693d3
+          unrolled_ast: a3075a13ef24b2c3b79cd8f197fdeda463f65d5490ab84ff10095bcf411693d3
+          ssa_ast: 86f5c9c6b031e7aeb1e05b673139009b5a50dcebc175351e19d8d2858fdad6ec
+          flattened_ast: fa38b65725d2e2e77c5c299ccb1c771498240d7848c8d591aa1b5e6980449fd4
+          destructured_ast: 3094d3e390d24434ed415992478c40d77222d5cc5e12c818676d82f96557f356
+          inlined_ast: 3094d3e390d24434ed415992478c40d77222d5cc5e12c818676d82f96557f356
+          dce_ast: 5409c081d158c118d111ea9461003110aeed57bdde0d73077837abd176dd13ca
          bytecode: 7e364f0f5797c362156d92896d5c0ac0cb8923bdfce720d844550006535bfec9
          errors: ""
          warnings: ""
--- a/tests/expectations/compiler/core/algorithms/integers/bhp256/bhp256_hash_to_i128.out
+++ b/tests/expectations/compiler/core/algorithms/integers/bhp256/bhp256_hash_to_i128.out
@ -3,16 +3,16 @@ namespace: Compile
 expectation: Pass
 outputs:
  - - compile:
-        - initial_symbol_table: 6467a63ee1354e95dba9760f5128eb6f561f4c747fe8c581d9785a312b66ea5a
-          type_checked_symbol_table: eb50a48a6bb864efd915e9b6111ede0fd87b6757561df15ffe022ef380dc3069
-          unrolled_symbol_table: eb50a48a6bb864efd915e9b6111ede0fd87b6757561df15ffe022ef380dc3069
-          initial_ast: 8f7dfe0f52fde5d35db15661a8bace1936fa497ca06930d35a6eb03e64b59645
-          unrolled_ast: 8f7dfe0f52fde5d35db15661a8bace1936fa497ca06930d35a6eb03e64b59645
-          ssa_ast: c59a7c20802d36a4be2cb5f1eeff0f8f0357152156192fcb30fb1d6fe4de91e7
-          flattened_ast: aec51a7f674eac434c58e987d99b188807bb1c3dd0742c473d79b0a3df3fdec9
-          destructured_ast: b951e40f58f7e9a27b401f1aeee250fcdd89c62d651ac5500d182f5d996b952c
-          inlined_ast: b951e40f58f7e9a27b401f1aeee250fcdd89c62d651ac5500d182f5d996b952c
-          dce_ast: 68129eefceec49ae1b1a212b26d9463c7600f1c136ddb9a12ef926b4cfee87df
+        - initial_symbol_table: 7663250c6f266d8ff8bc029270277b0e00033e6628ea14a1b3dd9f46eeb34834
+          type_checked_symbol_table: 85f860a6f878c647bb1ce0795064b136203d3d64a6a12ca6ef59af594af77dce
+          unrolled_symbol_table: 85f860a6f878c647bb1ce0795064b136203d3d64a6a12ca6ef59af594af77dce
+          initial_ast: a6b8da2d7accfe05b37b802ded17adb7449e9d84cd315117ab37ae115f5a0161
+          unrolled_ast: a6b8da2d7accfe05b37b802ded17adb7449e9d84cd315117ab37ae115f5a0161
+          ssa_ast: 4e2713efe36385afdd2b871cc727c957c8e08ef1013059e91057327398907ef0
+          flattened_ast: 6c0149abace6cebc70b1bea122cd02893061dd04328d564f89a0410b5f5ec0e3
+          destructured_ast: 581bd46ff806edd4d312bdbe6f436b31806ec2e25c090894da4137580b8c282d
+          inlined_ast: 581bd46ff806edd4d312bdbe6f436b31806ec2e25c090894da4137580b8c282d
+          dce_ast: 39604f7a920e5f517a1da7105b81071f7cda63d605f1d67f3fe6f869baea58bd
          bytecode: 6d1f9a3fa30f6b177ef5b8242e1608ab54576a5d82df58c97c2e367270c6d7f9
          errors: ""
          warnings: ""
--- a/tests/expectations/compiler/core/algorithms/integers/bhp256/bhp256_hash_to_i16.out
+++ b/tests/expectations/compiler/core/algorithms/integers/bhp256/bhp256_hash_to_i16.out
@ -3,16 +3,16 @@ namespace: Compile
 expectation: Pass
 outputs:
  - - compile:
-        - initial_symbol_table: e276b05db8e6b69ca3ffa88df800e2132553055ec7eeaf1fedbb6c34bf47822a
-          type_checked_symbol_table: 36e3ba0129fb7ad935fa93867e1d3ce97a8aa25881ead5b6e37c1fc0deef2c7a
-          unrolled_symbol_table: 36e3ba0129fb7ad935fa93867e1d3ce97a8aa25881ead5b6e37c1fc0deef2c7a
-          initial_ast: 997ea48a95cbe2f352801f0c054f183bdd4ed72be992ade9deba88fca7b9a284
-          unrolled_ast: 997ea48a95cbe2f352801f0c054f183bdd4ed72be992ade9deba88fca7b9a284
-          ssa_ast: 1c1270ef1093b9ed6591fe53df4565f969c0353e526d86320f93102edbe2b6eb
-          flattened_ast: 9e4b985b793c9e9a10eef5ddf7bb2bccac55550cfd951588238392c46ebbc456
-          destructured_ast: 71f0cd518f391ff256d1c6edf99ad632913ee1528c3146a346b1a9b16a2a8d88
-          inlined_ast: 71f0cd518f391ff256d1c6edf99ad632913ee1528c3146a346b1a9b16a2a8d88
-          dce_ast: 70fe5304bb195b3b387374be16e63f3c5c90c0e001018e5e7fe2a528646e03ff
+        - initial_symbol_table: 290d40a093afd471bc1d3a52c29e2e26e92306eb875e45a0f4331fb42b9ce0f0
+          type_checked_symbol_table: 53cd6927f60374950c3d2059d575bd1ca571cba352ad61b93ee8ef0f3dd17d88
+          unrolled_symbol_table: 53cd6927f60374950c3d2059d575bd1ca571cba352ad61b93ee8ef0f3dd17d88
+          initial_ast: c5e8774102af7c7906bff40326d9eb8be5df4b3c0bc56b9aaad999e181c2366a
+          unrolled_ast: c5e8774102af7c7906bff40326d9eb8be5df4b3c0bc56b9aaad999e181c2366a
+          ssa_ast: a03289c8142b6b2d6e788e45ee58f4c944ed5c3faadadb0eb51ea49cb21573df
+          flattened_ast: 3b802567a894a1fd5088ef9dd601ff87a2008d4879cd091f5693ba239d30878d
+          destructured_ast: 5886de530aeebab916fc1ebed5f6ed19829dffc64b180af24520f84f75b21b5a
+          inlined_ast: 5886de530aeebab916fc1ebed5f6ed19829dffc64b180af24520f84f75b21b5a
+          dce_ast: 2cf3948578a4a7ac4301b04895541ca91231bd182adc676c5603ffb114360d97
          bytecode: 324982aeedb7f0eb194a3744384b562834062c95c62d9007a74ec8e2a5612c4e
          errors: ""
          warnings: ""
--- a/tests/expectations/compiler/core/algorithms/integers/bhp256/bhp256_hash_to_i32.out
+++ b/tests/expectations/compiler/core/algorithms/integers/bhp256/bhp256_hash_to_i32.out
@ -3,16 +3,16 @@ namespace: Compile
 expectation: Pass
 outputs:
  - - compile:
-        - initial_symbol_table: 4cebbf12b1be5edea4f632d15e3fb699ef4935d2ae703091da80fc474c8de9cc
-          type_checked_symbol_table: 3f0d8599e1e7fee664aa8947d8d7e2aee461702e758a36ad7beec38224a4f521
-          unrolled_symbol_table: 3f0d8599e1e7fee664aa8947d8d7e2aee461702e758a36ad7beec38224a4f521
-          initial_ast: 33c6668ce859bc2a86d8542a77f04ec22ab9cbbaac09d32c686f26b1e689828b
-          unrolled_ast: 33c6668ce859bc2a86d8542a77f04ec22ab9cbbaac09d32c686f26b1e689828b
-          ssa_ast: 2f23a4171534e1d9c62b16a09f75f07f403d82a005b85cfcfe8404f6e6420dc7
-          flattened_ast: 26cbf0df1606a8c05d0cd4065ea10f9cdf592a01033de1f7c666b1c76567ced6
-          destructured_ast: 976c7a760fad0e6ae0d1688d32de820bc56de14dcb5aa13ac8486a96681e0abe
-          inlined_ast: 976c7a760fad0e6ae0d1688d32de820bc56de14dcb5aa13ac8486a96681e0abe
-          dce_ast: beeaeda2760134a061a7314b024f02f6b93a3702a1de879da009ebfe2e67b77c
+        - initial_symbol_table: 4f1b711ac4ce320723caab53c19d79ca9d58c7f2713aa7a0ba7a88fcb3722380
+          type_checked_symbol_table: 94798bfa98c80ee322eb7ee8ef795ee8326b556310da986d1af3aca6b421793d
+          unrolled_symbol_table: 94798bfa98c80ee322eb7ee8ef795ee8326b556310da986d1af3aca6b421793d
+          initial_ast: 6161081109eca988e75193e92a7a2ef52194d85ba4059298cd843da40fd30488
+          unrolled_ast: 6161081109eca988e75193e92a7a2ef52194d85ba4059298cd843da40fd30488
+          ssa_ast: 832cfa46acb92013bae2b96cd74492f747e5002f6f15322f1509029d76191efb
+          flattened_ast: 8fa2aeeda1291bd2e09efa275dc8d9c2ff2673478bb70e86db3a8aca50828a25
+          destructured_ast: 88e627079975d11fd9533acb4a8a82f8705b8c242c37d93adacb7fb711ec3f8e
+          inlined_ast: 88e627079975d11fd9533acb4a8a82f8705b8c242c37d93adacb7fb711ec3f8e
+          dce_ast: d8e90adaab9229f01ed4d954fc1d38126b468eb283d4f81a27c502cb76b9080d
          bytecode: ead396ffd0d8084ce5fd2f208f904c27d3df3e0b42a22baef80d5778a0d63b23
          errors: ""
          warnings: ""
--- a/tests/expectations/compiler/core/algorithms/integers/bhp256/bhp256_hash_to_i64.out
+++ b/tests/expectations/compiler/core/algorithms/integers/bhp256/bhp256_hash_to_i64.out
@ -3,16 +3,16 @@ namespace: Compile
 expectation: Pass
 outputs:
  - - compile:
-        - initial_symbol_table: 8ee526275755ac00f4021d83c0910b43dfe778d89a9b648af676aeea6069c7ff
-          type_checked_symbol_table: 667298b34ede0080d586ea0d33fea24caa30161858ea6b4909bc016307ee4998
-          unrolled_symbol_table: 667298b34ede0080d586ea0d33fea24caa30161858ea6b4909bc016307ee4998
-          initial_ast: 9bab0af696df22639282889606aeb55139aad8fd6980548fc007faea855b101e
-          unrolled_ast: 9bab0af696df22639282889606aeb55139aad8fd6980548fc007faea855b101e
-          ssa_ast: 434ed178528539d16827ac0a7082353a950d3b934c4d7efc37f025e16b85091e
-          flattened_ast: e61ceab2df04549e7dbd2acbe6ed0842f4c39b32ea018e8d79c2cdbaa6a6ec8d
-          destructured_ast: bb49c989cd10dd53d597c284f9d4d85286c7b24eee878859454217219aa4ea4d
-          inlined_ast: bb49c989cd10dd53d597c284f9d4d85286c7b24eee878859454217219aa4ea4d
-          dce_ast: ea16e124b54a2804c1fa06435bff44355548c38dede942f3cc2967e336243cb6
+        - initial_symbol_table: 07765fd5744b4db718505bb192e1b8d4f320959bd7637d3b17c239ae7251f2e3
+          type_checked_symbol_table: 7d73ccf676f12a6181beba19e2a833221e501cafb11a15de29b2a93efc5f3e55
+          unrolled_symbol_table: 7d73ccf676f12a6181beba19e2a833221e501cafb11a15de29b2a93efc5f3e55
+          initial_ast: a27908c9f65a0c1fc789764053e47867f0d597e7bfbb8704c17ad3b5d950d16f
+          unrolled_ast: a27908c9f65a0c1fc789764053e47867f0d597e7bfbb8704c17ad3b5d950d16f
+          ssa_ast: 838f563e264b48b572c5f71e6537732d6516a922b153439ee84e9891393ca819
+          flattened_ast: 27820dd484e82b9d6e9271ac86e8606ea51cf1fa6c0dede9b09aa2902b800fe0
+          destructured_ast: 410b6f68adc23a9070d532d0ea9cc07ad9b9eb0301a75fa0351f27c67b6f011f
+          inlined_ast: 410b6f68adc23a9070d532d0ea9cc07ad9b9eb0301a75fa0351f27c67b6f011f
+          dce_ast: cc3d40499b817006e888f26bb56b475ad3781f1ed174be1687dffe6bbe6156a3
          bytecode: 93c0ef7e8c5de4b6de716347078c7e7fb4f36c0d814396e7060423dac910a4eb
          errors: ""
          warnings: ""
--- a/tests/expectations/compiler/core/algorithms/integers/bhp256/bhp256_hash_to_i8.out
+++ b/tests/expectations/compiler/core/algorithms/integers/bhp256/bhp256_hash_to_i8.out
@ -3,16 +3,16 @@ namespace: Compile
 expectation: Pass
 outputs:
  - - compile:
-        - initial_symbol_table: 8c22b100668257ba565eeb4bdac218e64a0317a34c8ddd7056b8cac6343c767e
-          type_checked_symbol_table: 53a5b562cbbfc13ca31fb239ef1d13b13aa55c0e6fa2dacee730726f3ff3510e
-          unrolled_symbol_table: 53a5b562cbbfc13ca31fb239ef1d13b13aa55c0e6fa2dacee730726f3ff3510e
-          initial_ast: e0de2a45fa485e7135d5e864d5d1f899a102d1bc3dae3d03344de954802f4ae8
-          unrolled_ast: e0de2a45fa485e7135d5e864d5d1f899a102d1bc3dae3d03344de954802f4ae8
-          ssa_ast: 6d9638ca17d9fb15aeb62e0bcba7165fe900708f0306f618092c0948825d7366
-          flattened_ast: 31cbc67baf60d4cb45f8a636e752cc5d439b8e1c6b0a8d92b5d6b5825426c368
-          destructured_ast: faad172d5cd5a31435437c653aec1c3d9170be61734694baa7c4cb71e4409cad
-          inlined_ast: faad172d5cd5a31435437c653aec1c3d9170be61734694baa7c4cb71e4409cad
-          dce_ast: f981e32323f0e2968300a9c19befc8fd17170e8878a48effee8c17ce8fa605ed
+        - initial_symbol_table: 35ee2e769ba8d1a174cc4f967f1b9a4f8844bba3d9982c2ac3070ce1d6825060
+          type_checked_symbol_table: 499c212f93d8d1968ab8caeb746487a1733eed5a898dc32b222e09e5df217c9f
+          unrolled_symbol_table: 499c212f93d8d1968ab8caeb746487a1733eed5a898dc32b222e09e5df217c9f
+          initial_ast: c80b2c968ec55b67ab4695ce94e8bcd33d048d9f00182a3b59e4af6a30ab494e
+          unrolled_ast: c80b2c968ec55b67ab4695ce94e8bcd33d048d9f00182a3b59e4af6a30ab494e
+          ssa_ast: 3e37f1174517e2d70d1ac1a66fa250314566858d424cc8b6e8d2e6a0082251e4
+          flattened_ast: 62cad78a6a4f5a9a27a9a563edc45cbc1fbf45ce9e856d10ecb8c2cebd40cc16
+          destructured_ast: 30026f344018f3bc21c0fd9974eb3e98f3305231feddb1a2620f18ce1b553855
+          inlined_ast: 30026f344018f3bc21c0fd9974eb3e98f3305231feddb1a2620f18ce1b553855
+          dce_ast: 4b9fe38d383e6ec156f41fcd870eda41ed411ff794043f8b6e818af4a28ee534
          bytecode: 35d57844635bb3a2fc0261442ef69b8d67a4767ad0f61fce6b396a430073f5e2
          errors: ""
          warnings: ""
--- a/tests/expectations/compiler/core/algorithms/integers/bhp256/bhp256_hash_to_u128.out
+++ b/tests/expectations/compiler/core/algorithms/integers/bhp256/bhp256_hash_to_u128.out
@ -3,16 +3,16 @@ namespace: Compile
 expectation: Pass
 outputs:
  - - compile:
-        - initial_symbol_table: 39f3fa8604259aee8964c8ff8d49efd1821694fecd76f0dc9007ca7f75ded146
-          type_checked_symbol_table: 8f22d66116ac703d735d89143a7ae2148e6f0ef26290a3cfd6337c9558e2949d
-          unrolled_symbol_table: 8f22d66116ac703d735d89143a7ae2148e6f0ef26290a3cfd6337c9558e2949d
-          initial_ast: 94bfd05d03b03e44643886782b6bf0c1176aea58595d40df0a6941a2df1fef80
-          unrolled_ast: 94bfd05d03b03e44643886782b6bf0c1176aea58595d40df0a6941a2df1fef80
-          ssa_ast: 6317f1d420af015609aee948ccc9727ac8a36f1e6f04666e40d1a45d9d113fdf
-          flattened_ast: 0b713bdaa3c9f8b6e6f99836d8d8a4f229adac99118d632f87d695400fba7421
-          destructured_ast: 412c977300544726bbe62bf51f393d0851cb93d38ea11a9c4dcf159123088408
-          inlined_ast: 412c977300544726bbe62bf51f393d0851cb93d38ea11a9c4dcf159123088408
-          dce_ast: 9ce52320bb0bb461f1871d2015ee9b19a3f6668cd5d05eb6cb269f8b62f1256a
+        - initial_symbol_table: c61001eb615254ac870ec9d0371f14625c9f8a37460dcd21200d89dc858a38b0
+          type_checked_symbol_table: 3b673765d4870f7a85c78676fd417b30a14bc2c4f7197a499b6f2f278440d39a
+          unrolled_symbol_table: 3b673765d4870f7a85c78676fd417b30a14bc2c4f7197a499b6f2f278440d39a
+          initial_ast: b2e3cf635cb36d22634b4e8f288da6c7f835f846821e039f7996a4281ee65a9a
+          unrolled_ast: b2e3cf635cb36d22634b4e8f288da6c7f835f846821e039f7996a4281ee65a9a
+          ssa_ast: 47b4c9589be4ff508a76f6e5929fe6db1990aa8fefba81b7a5f1d4732a4e3de4
+          flattened_ast: 5927ffac56458ba47729e62cf94c3c911754d99073f5dc914e0577a412d4a661
+          destructured_ast: a32ff13a5316a7cfa5f0634b2465c6d0044257058d044ffb7a20baf33eddbbb5
+          inlined_ast: a32ff13a5316a7cfa5f0634b2465c6d0044257058d044ffb7a20baf33eddbbb5
+          dce_ast: e6325f31096f38081ba8a2a7fd5cf263a1672f55d32baeb959992baf6d244794
          bytecode: c865484cdaac4f81578a7a47f6a1772139a2f4b03d5a4602c7b62be71519846d
          errors: ""
          warnings: ""
--- a/tests/expectations/compiler/core/algorithms/integers/bhp256/bhp256_hash_to_u16.out
+++ b/tests/expectations/compiler/core/algorithms/integers/bhp256/bhp256_hash_to_u16.out
@ -3,16 +3,16 @@ namespace: Compile
 expectation: Pass
 outputs:
  - - compile:
-        - initial_symbol_table: 0a4365cf4560871d2fcbf3ca79d88a935969d230993bd958d28cedcfddde4c94
-          type_checked_symbol_table: 652a4b5d0da7be31b390b792b4a6ddcc4da23fdf451975a6f8b0aad0806672ac
-          unrolled_symbol_table: 652a4b5d0da7be31b390b792b4a6ddcc4da23fdf451975a6f8b0aad0806672ac
-          initial_ast: 01670e91be742e8a777f8adca2a5f3c87262e4f7f9c594d9707f12a2963347d6
-          unrolled_ast: 01670e91be742e8a777f8adca2a5f3c87262e4f7f9c594d9707f12a2963347d6
-          ssa_ast: 4575b74a323e0252f2b31acf4f0af0bb2197de7d9ce8f2f323d300b0d08092d9
-          flattened_ast: 624576231dd72908aa732d320ce1f99aeb940907597e300dda6eb03fccb80b02
-          destructured_ast: 7b66f922d7db6b55289dacb1807f46b7de9df67e67eb8deaaaf76089cfd6c569
-          inlined_ast: 7b66f922d7db6b55289dacb1807f46b7de9df67e67eb8deaaaf76089cfd6c569
-          dce_ast: c2305646bd487e9473a7ec30dd196664cdc411807a251383e33a425ed3bf9a03
+        - initial_symbol_table: 0ca2caa5119ad8321c02902964c50669237711713d6ff2978bee751b9188925b
+          type_checked_symbol_table: 4dca1d62163f5d313d3dc3eba26a64f890dd816c23c96432624135c5c1426af6
+          unrolled_symbol_table: 4dca1d62163f5d313d3dc3eba26a64f890dd816c23c96432624135c5c1426af6
+          initial_ast: 6c097a0ef6a980635b5a4139b24ec553bd40dfdbdce709a6505eb15383f136c1
+          unrolled_ast: 6c097a0ef6a980635b5a4139b24ec553bd40dfdbdce709a6505eb15383f136c1
+          ssa_ast: c4732e42d6266d914c7f9a47dc7ee0355cca92f3bb9db7bdca482c586fa416e8
+          flattened_ast: 86e70ce5fb51c3c47440f000730e58511249cf8ff4f7f7a86c0922b13f3165d8
+          destructured_ast: 17024e05b18614ebe917ceca35e7ad2ee17892e53cbcce23008193b505cfcf70
+          inlined_ast: 17024e05b18614ebe917ceca35e7ad2ee17892e53cbcce23008193b505cfcf70
+          dce_ast: 48745bc5077409dcc409ea47fa8fa67c0f4d225deca9d097fcc397effd7d59ec
          bytecode: 722e9ba9eb7870003003efbee47f12319ccd9a2e873ccd6a165dc945dd5fee56
          errors: ""
          warnings: ""
--- a/tests/expectations/compiler/core/algorithms/integers/bhp256/bhp256_hash_to_u32.out
+++ b/tests/expectations/compiler/core/algorithms/integers/bhp256/bhp256_hash_to_u32.out
@ -3,16 +3,16 @@ namespace: Compile
 expectation: Pass
 outputs:
  - - compile:
-        - initial_symbol_table: 2dc7ad5e83f9c1cba20c56645ec155cb70abd718a81424b366f6c5678c6de77a
-          type_checked_symbol_table: c149a9b656b0bf41d055568d6d3c38be12cb9e7c46fd669f861d918fc8f86e99
-          unrolled_symbol_table: c149a9b656b0bf41d055568d6d3c38be12cb9e7c46fd669f861d918fc8f86e99
-          initial_ast: b54a983846284e524ed8eef15530706cda158d9d60a9994d8d5fa1562feb2da0
-          unrolled_ast: b54a983846284e524ed8eef15530706cda158d9d60a9994d8d5fa1562feb2da0
-          ssa_ast: 2c71768fcd4fb3d50cc8558c9e5c1d321ddd21496c9befd3b8dfe7721aa67558
-          flattened_ast: 91999f228166934471cd6dec95a9996cb946475079888917b8bd6f3dd14fc9f5
-          destructured_ast: 400f65545b88bf35e43e613f3cc44a7281d3ffe00d6a7b012dda99d7eb573d07
-          inlined_ast: 400f65545b88bf35e43e613f3cc44a7281d3ffe00d6a7b012dda99d7eb573d07
-          dce_ast: f726f2393c2f54fc7c4e1eb8f54bb8822cfd29cddd61d66ccc3388695b6da0b7
+        - initial_symbol_table: 8a8e3573eac7f8f017654f77635ed47fa35bdc38f8f236577f70eaf8d902f0bb
+          type_checked_symbol_table: 28867dd4811976283a9b5e0d146926f02dbf0b1d1e23d3173901ffff0c26cce9
+          unrolled_symbol_table: 28867dd4811976283a9b5e0d146926f02dbf0b1d1e23d3173901ffff0c26cce9
+          initial_ast: 32b0e771edbff86f39bd035f06859535adfc8357b713510d0fcf7d29edff78de
+          unrolled_ast: 32b0e771edbff86f39bd035f06859535adfc8357b713510d0fcf7d29edff78de
+          ssa_ast: 3a385d9e9e5c3d48310f1ad004a3ccfc6f10e6e8db45938b83c9433eaecf1c25
+          flattened_ast: 7dfe029fa2b5b5bd0e19d171565ef148958c3181fd9040619fc8ed4bc363282f
+          destructured_ast: 09bf49bee79420051e35289e1d5ea5dc1fb633e15ba80b176fe35f67f6d93132
+          inlined_ast: 09bf49bee79420051e35289e1d5ea5dc1fb633e15ba80b176fe35f67f6d93132
+          dce_ast: 55697b0a8b671915907ea2f6298146bd0ebbc9c5417529dcce6622812c22ac6a
          bytecode: 5b86f91ea85b5afdbd241b7623cbecedcb816272ca8b7250e2536955dfc55fed
          errors: ""
          warnings: ""
--- a/tests/expectations/compiler/core/algorithms/integers/bhp256/bhp256_hash_to_u64.out
+++ b/tests/expectations/compiler/core/algorithms/integers/bhp256/bhp256_hash_to_u64.out
@ -3,16 +3,16 @@ namespace: Compile
 expectation: Pass
 outputs:
  - - compile:
-        - initial_symbol_table: d5fd069f6ac8ae6bf3f0312c296b2e8992a55396485d96bcbed914675f614b70
-          type_checked_symbol_table: d5db26b218aac3755c6d6d30cf6a5599dbdf0efc1e739d355bd4362ee6939481
-          unrolled_symbol_table: d5db26b218aac3755c6d6d30cf6a5599dbdf0efc1e739d355bd4362ee6939481
-          initial_ast: 36e87c9db0ceadef0b977a952a47218c6ce097fce387439ef24591f4e2ef7294
-          unrolled_ast: 36e87c9db0ceadef0b977a952a47218c6ce097fce387439ef24591f4e2ef7294
-          ssa_ast: b69cba489607c020befd53b4edc8eedff17d46f6290a74dae37756ec7cbd23f1
-          flattened_ast: 0113a664791f9526287d3226cb21b949ff283f956a023e3609cbfc398e647dc9
-          destructured_ast: 8363844fb507b947b0ff9ab6096e2b545c841b9bf0ea09f15b249c3a8a0a1c83
-          inlined_ast: 8363844fb507b947b0ff9ab6096e2b545c841b9bf0ea09f15b249c3a8a0a1c83
-          dce_ast: 829b20b3e859c9164826a9a994a6e8a36e70d667081be811c361e08b44db6654
+        - initial_symbol_table: bf263d04fc2a6ac36471c659256e5478fdf34037fdce7f864e8b162ff591efc1
+          type_checked_symbol_table: 53bf621a0d188b44634e3178e7de4ba51612d1f857927d994e2d44ffe1e9b8b3
+          unrolled_symbol_table: 53bf621a0d188b44634e3178e7de4ba51612d1f857927d994e2d44ffe1e9b8b3
+          initial_ast: e3c21f760a449a946bee6df68d00b77bd9d0678672d573c7ba3a980d08619a31
+          unrolled_ast: e3c21f760a449a946bee6df68d00b77bd9d0678672d573c7ba3a980d08619a31
+          ssa_ast: 92bb98328834892f1e80cdbb6433b3975583a9ebd61c800999f97f779c03c180
+          flattened_ast: 5e4c9005be13fc29a3d29127cd6714d498e23f480e1b6c6d03e37caf10c4078c
+          destructured_ast: 10d0c9b467f75511433769e9b502704c58c4ba8491897c47410cb8ef4c741144
+          inlined_ast: 10d0c9b467f75511433769e9b502704c58c4ba8491897c47410cb8ef4c741144
+          dce_ast: 82215136b06ea4ef77d163378f1d176a24501125aa487f3e1871965b284199be
          bytecode: 5e555625818b5c9c27ea28fd0679e853c7ba41d422b0b1fe4ebf1888cc810898
          errors: ""
          warnings: ""
--- a/tests/expectations/compiler/core/algorithms/integers/bhp256/bhp256_hash_to_u8.out
+++ b/tests/expectations/compiler/core/algorithms/integers/bhp256/bhp256_hash_to_u8.out
@ -3,16 +3,16 @@ namespace: Compile
 expectation: Pass
 outputs:
  - - compile:
-        - initial_symbol_table: dd9f4e83f6c323990bf20628ddb73c5db2fbfa246e70a8365e06dbb37bc88ff3
-          type_checked_symbol_table: 67190d8f33c3f10b6e31b4174b678a5767b21736929d10e1059c656efac2bac7
-          unrolled_symbol_table: 67190d8f33c3f10b6e31b4174b678a5767b21736929d10e1059c656efac2bac7
-          initial_ast: 1a1eb4645a3a6ab0c27068d0dfb1b23f651c2ac1e7c183c35635cd9bca693efd
-          unrolled_ast: 1a1eb4645a3a6ab0c27068d0dfb1b23f651c2ac1e7c183c35635cd9bca693efd
-          ssa_ast: 3932fe1f319dc95ab74ba2db956adf52a3306465f1591b4f42fb405a99cbcfe7
-          flattened_ast: 9a514cc2ed908e4a78d3a4b62fc2005669ff17e45e4d161b3c0611d1a052e397
-          destructured_ast: 8c9af2c5b35e43ee6ce81acd3d458de8cd89203ca3b1730f7fdef65667e23621
-          inlined_ast: 8c9af2c5b35e43ee6ce81acd3d458de8cd89203ca3b1730f7fdef65667e23621
-          dce_ast: 80dd742ea0a7a43f7c46e58311fce827a5206b2ec4a0182989bab9f73f5ef058
+        - initial_symbol_table: 6f3b0bb827fe9e0527663a89ab2bb176631983eb7f66fc71c01437d229aab92f
+          type_checked_symbol_table: 469c1b2c9bd2ca9d2a8bfdd68f3fdf29988d0ada94149ec8cb650ec3ff419534
+          unrolled_symbol_table: 469c1b2c9bd2ca9d2a8bfdd68f3fdf29988d0ada94149ec8cb650ec3ff419534
+          initial_ast: 544aaa62d2fc3fa2ee6d41291875d9f331342f634762e1962d0d4c8027a0a82e
+          unrolled_ast: 544aaa62d2fc3fa2ee6d41291875d9f331342f634762e1962d0d4c8027a0a82e
+          ssa_ast: d82699012d45b06afd567cb3f514e083408cc287ab115a385c722fe7c50f8dde
+          flattened_ast: 35c0899cf3fd2e2c861b2313de078981319ffa4d63a7c6243fb259909156b8fe
+          destructured_ast: 12259b46c072d0285dfbd81a305264a48a2ce154f228103fb6b351f9e843a32b
+          inlined_ast: 12259b46c072d0285dfbd81a305264a48a2ce154f228103fb6b351f9e843a32b
+          dce_ast: 6ea3febbb89a3379a760c27b9de1a97fde5d1607f6bd95576f653245f41686d8
          bytecode: ac0813db87d76ebf0f8b9716b4694dd6dcd4a833bdc7b13fc297363f835a723b
          errors: ""
          warnings: ""
--- a/tests/expectations/compiler/core/algorithms/integers/bhp512/bhp512_hash_to_i128.out
+++ b/tests/expectations/compiler/core/algorithms/integers/bhp512/bhp512_hash_to_i128.out
@ -3,16 +3,16 @@ namespace: Compile
 expectation: Pass
 outputs:
  - - compile:
-        - initial_symbol_table: 6467a63ee1354e95dba9760f5128eb6f561f4c747fe8c581d9785a312b66ea5a
-          type_checked_symbol_table: eb50a48a6bb864efd915e9b6111ede0fd87b6757561df15ffe022ef380dc3069
-          unrolled_symbol_table: eb50a48a6bb864efd915e9b6111ede0fd87b6757561df15ffe022ef380dc3069
-          initial_ast: 46cad86cd61d3e2a156d7db35aa573faebbab7febd055be5811e6110c2ee332b
-          unrolled_ast: 46cad86cd61d3e2a156d7db35aa573faebbab7febd055be5811e6110c2ee332b
-          ssa_ast: 787a1727f847a24f84935f76dff49da30116602c1123a9da25edf8dfa8500dd8
-          flattened_ast: 07a2b250b188daa4f675537cd7dc7520494092fadccb4593613eca44f69c1e4c
-          destructured_ast: d3dc85e115068251ded7d670091544990f2be16699d9a6bad848de7f2eaeb6e6
-          inlined_ast: d3dc85e115068251ded7d670091544990f2be16699d9a6bad848de7f2eaeb6e6
-          dce_ast: 5f63e53114e74875f3e83e8461f2bf73e9221c02e6805432386fdb98aaaca35d
+        - initial_symbol_table: 7663250c6f266d8ff8bc029270277b0e00033e6628ea14a1b3dd9f46eeb34834
+          type_checked_symbol_table: 85f860a6f878c647bb1ce0795064b136203d3d64a6a12ca6ef59af594af77dce
+          unrolled_symbol_table: 85f860a6f878c647bb1ce0795064b136203d3d64a6a12ca6ef59af594af77dce
+          initial_ast: 5f4463371ed2411a7c4d00bdf016e41e66d54cace5a9b905f7adfca195162f94
+          unrolled_ast: 5f4463371ed2411a7c4d00bdf016e41e66d54cace5a9b905f7adfca195162f94
+          ssa_ast: 72e0cfc1ac9da190d9abe0e06329079c5b76e5e3ad7911d856f50d11ce5495e7
+          flattened_ast: 038ff836409f94e83d442c084bfd660dd038452f4b3f6d45cafa3f74e444a2e6
+          destructured_ast: c9994cc2d1e3cc75ee0906b44ee5b6eac8fda1a9ffdd7de5b467ce3b8f10c356
+          inlined_ast: c9994cc2d1e3cc75ee0906b44ee5b6eac8fda1a9ffdd7de5b467ce3b8f10c356
+          dce_ast: af84eecd15a9e9ff8fbaba874118365698c43793e8ea4e7ba90128b1c3d77945
          bytecode: cda5a5c278c39eba47e30601b6d8ae039a1e9a67b514f7da166b26e47d96ad38
          errors: ""
          warnings: ""
--- a/tests/expectations/compiler/core/algorithms/integers/bhp512/bhp512_hash_to_i16.out
+++ b/tests/expectations/compiler/core/algorithms/integers/bhp512/bhp512_hash_to_i16.out
@ -3,16 +3,16 @@ namespace: Compile
 expectation: Pass
 outputs:
  - - compile:
-        - initial_symbol_table: e276b05db8e6b69ca3ffa88df800e2132553055ec7eeaf1fedbb6c34bf47822a
-          type_checked_symbol_table: 36e3ba0129fb7ad935fa93867e1d3ce97a8aa25881ead5b6e37c1fc0deef2c7a
-          unrolled_symbol_table: 36e3ba0129fb7ad935fa93867e1d3ce97a8aa25881ead5b6e37c1fc0deef2c7a
-          initial_ast: bfffed5f7bfdf8d256f4015e8ce57239c9a20762c0b6d9ab4b334d2478975c3e
-          unrolled_ast: bfffed5f7bfdf8d256f4015e8ce57239c9a20762c0b6d9ab4b334d2478975c3e
-          ssa_ast: 7a6f7097cb28135b05441aad6bc5db6bc0a6e62d42981b6c70e78b934248a8e6
-          flattened_ast: fd5f8ac9cebb1bc7c9302c102736780ae21633079708e09dfe9543217ce51ca2
-          destructured_ast: 593249c5c5a7bf07facb49bbfcea43fdc40293c0569e08d3ead2183fcf15830b
-          inlined_ast: 593249c5c5a7bf07facb49bbfcea43fdc40293c0569e08d3ead2183fcf15830b
-          dce_ast: 2fd8a562bd167f17df9e5a227d6432e9854fe964142df448540ef5cc714ee80e
+        - initial_symbol_table: 290d40a093afd471bc1d3a52c29e2e26e92306eb875e45a0f4331fb42b9ce0f0
+          type_checked_symbol_table: 53cd6927f60374950c3d2059d575bd1ca571cba352ad61b93ee8ef0f3dd17d88
+          unrolled_symbol_table: 53cd6927f60374950c3d2059d575bd1ca571cba352ad61b93ee8ef0f3dd17d88
+          initial_ast: 15a51a8ee164ad9c57def986fa9362a34355fafb95a3354f80ff90e5d0bb26ad
+          unrolled_ast: 15a51a8ee164ad9c57def986fa9362a34355fafb95a3354f80ff90e5d0bb26ad
+          ssa_ast: 6e7a99987d0337824c503a36422878956916c280fa6f6ce95c50b5a71eeed181
+          flattened_ast: dec09ccd2fd7b0428ab8dd2c157fa7b7533a7a4f06dd635d5e1ad5be9875943f
+          destructured_ast: c7c8c6b4bdb6a6f5543920301e1c55cc04ee4233a7ffe991ac901ef02cab1a13
+          inlined_ast: c7c8c6b4bdb6a6f5543920301e1c55cc04ee4233a7ffe991ac901ef02cab1a13
+          dce_ast: 43dc51092a439461beb8593d7ccc4e2da7126de5ba02a937706a9fe7a85a1521
          bytecode: 772c3a89be9b29a160cbddfae2d0bd3edd4bef0291f89e4e6049af2139c6239e
          errors: ""
          warnings: ""
--- a/tests/expectations/compiler/core/algorithms/integers/bhp512/bhp512_hash_to_i32.out
+++ b/tests/expectations/compiler/core/algorithms/integers/bhp512/bhp512_hash_to_i32.out
@ -3,16 +3,16 @@ namespace: Compile
 expectation: Pass
 outputs:
  - - compile:
-        - initial_symbol_table: 4cebbf12b1be5edea4f632d15e3fb699ef4935d2ae703091da80fc474c8de9cc
-          type_checked_symbol_table: 3f0d8599e1e7fee664aa8947d8d7e2aee461702e758a36ad7beec38224a4f521
-          unrolled_symbol_table: 3f0d8599e1e7fee664aa8947d8d7e2aee461702e758a36ad7beec38224a4f521
-          initial_ast: b06574aa57f301b14b5abb7e34c1608a0f868b0771c3eabe47a62027df495a2c
-          unrolled_ast: b06574aa57f301b14b5abb7e34c1608a0f868b0771c3eabe47a62027df495a2c
-          ssa_ast: 1bb7d39131f5435be358b3503adc6dae3a37bd35c4b1db98786b11e231c5bc53
-          flattened_ast: 86fb5b0538db74843d6d39289c4a1482cb12314667f0a3f0788f513d435e2ec6
-          destructured_ast: 8971fe25654735d94cbccb867326c12f1dee1357aa39f0b0a80d3dc0430db209
-          inlined_ast: 8971fe25654735d94cbccb867326c12f1dee1357aa39f0b0a80d3dc0430db209
-          dce_ast: 86351e144b41844ff69772320b742e8a8bcd72276d1fd78e277272ed73efd557
+        - initial_symbol_table: 4f1b711ac4ce320723caab53c19d79ca9d58c7f2713aa7a0ba7a88fcb3722380
+          type_checked_symbol_table: 94798bfa98c80ee322eb7ee8ef795ee8326b556310da986d1af3aca6b421793d
+          unrolled_symbol_table: 94798bfa98c80ee322eb7ee8ef795ee8326b556310da986d1af3aca6b421793d
+          initial_ast: f89456ddd9daa8632f5ae765dcce3d1ef0518b8bb7af0940d9d268bd75b2823c
+          unrolled_ast: f89456ddd9daa8632f5ae765dcce3d1ef0518b8bb7af0940d9d268bd75b2823c
+          ssa_ast: abbeafeca383cde8c1c4506af7a2382b4090bc285b204331374a92f028786911
+          flattened_ast: 07f6344e31741a425b8473563d615da179dc5733402657ce92a44eeaff0383b2
+          destructured_ast: 990e9bca2e0673fded5831d89641194b3e8199f3b2330fa46f3899b29750a23e
+          inlined_ast: 990e9bca2e0673fded5831d89641194b3e8199f3b2330fa46f3899b29750a23e
+          dce_ast: 0b4ca69a9d17900cd4f29e22e293f68676984dc3758c7593f5d3ba0ccfbd61bb
          bytecode: 63efcc50150da6e754319ed894fd92dcc5adc715f39da5b2425711c347836b60
          errors: ""
          warnings: ""
--- a/tests/expectations/compiler/core/algorithms/integers/bhp512/bhp512_hash_to_i64.out
+++ b/tests/expectations/compiler/core/algorithms/integers/bhp512/bhp512_hash_to_i64.out
@ -3,16 +3,16 @@ namespace: Compile
 expectation: Pass
 outputs:
  - - compile:
-        - initial_symbol_table: 8ee526275755ac00f4021d83c0910b43dfe778d89a9b648af676aeea6069c7ff
-          type_checked_symbol_table: 667298b34ede0080d586ea0d33fea24caa30161858ea6b4909bc016307ee4998
-          unrolled_symbol_table: 667298b34ede0080d586ea0d33fea24caa30161858ea6b4909bc016307ee4998
-          initial_ast: 4912531b5b4fb29df1760a55f2ca58f736c2ca1aaf211f5226fce06405c3454b
-          unrolled_ast: 4912531b5b4fb29df1760a55f2ca58f736c2ca1aaf211f5226fce06405c3454b
-          ssa_ast: 065c1e513bf53a9b0232419bc113c1d6ca0bd1814497ce0c64b75874748b9fba
-          flattened_ast: 6989d79b5887e52350e12943bafef089b09dbc1da56ea30f145b1c8e170c50ab
-          destructured_ast: a840511d0d7280b629d25fb4fe945cb5a31491b497c99f2046b58bd1effce2da
-          inlined_ast: a840511d0d7280b629d25fb4fe945cb5a31491b497c99f2046b58bd1effce2da
-          dce_ast: 8145b2f04edc25fee6ca488be9ba8cfaff64ed6facab8c9b3d71f2a06bbffb39
+        - initial_symbol_table: 07765fd5744b4db718505bb192e1b8d4f320959bd7637d3b17c239ae7251f2e3
+          type_checked_symbol_table: 7d73ccf676f12a6181beba19e2a833221e501cafb11a15de29b2a93efc5f3e55
+          unrolled_symbol_table: 7d73ccf676f12a6181beba19e2a833221e501cafb11a15de29b2a93efc5f3e55
+          initial_ast: 95a2bfede1135fbc180828f82425e23755d8a394d0af2d4cbd33524aa1fcb007
+          unrolled_ast: 95a2bfede1135fbc180828f82425e23755d8a394d0af2d4cbd33524aa1fcb007
+          ssa_ast: 78f2dfd7147d2579de1c18da4bd0bc14925d42c9c05eb9b59463290af276333d
+          flattened_ast: aed57d16f2c9922a60d021b2c13a6a111a491d1302a39d857c6e983ce619fd4c
+          destructured_ast: cacf5644a109d9e6792aa13c3bdd3d2667b2089fc889d7b201dc952472d7b7f7
+          inlined_ast: cacf5644a109d9e6792aa13c3bdd3d2667b2089fc889d7b201dc952472d7b7f7
+          dce_ast: 3fd130206a304e12f8afca3fb5fb60352f2c0bd667d766b6dad239c861ed6960
          bytecode: b565adbdb2ae4047f19a09589010a3dce773e907a3dd3e4b873a4a3336c68af8
          errors: ""
          warnings: ""
--- a/tests/expectations/compiler/core/algorithms/integers/bhp512/bhp512_hash_to_i8.out
+++ b/tests/expectations/compiler/core/algorithms/integers/bhp512/bhp512_hash_to_i8.out
@ -3,16 +3,16 @@ namespace: Compile
 expectation: Pass
 outputs:
  - - compile:
-        - initial_symbol_table: 8c22b100668257ba565eeb4bdac218e64a0317a34c8ddd7056b8cac6343c767e
-          type_checked_symbol_table: 53a5b562cbbfc13ca31fb239ef1d13b13aa55c0e6fa2dacee730726f3ff3510e
-          unrolled_symbol_table: 53a5b562cbbfc13ca31fb239ef1d13b13aa55c0e6fa2dacee730726f3ff3510e
-          initial_ast: b8b3d988c2ecb1010c2137affab0a8978d6303c5ee840b692bc8555deb87c363
-          unrolled_ast: b8b3d988c2ecb1010c2137affab0a8978d6303c5ee840b692bc8555deb87c363
-          ssa_ast: cdc860ef8b6fcc1305999a4e59fa25e9a3c2b8f837610fc52269a3faa9db19ca
-          flattened_ast: 61c58fc550b0599a376fe3a07ecbbd647eef3eb6c8f5ba6b01b18fd4f8bea208
-          destructured_ast: e3a19abb7365fe9a95c0c8266da35a0ba6ef727c7b3b2034b304d5fa379c1783
-          inlined_ast: e3a19abb7365fe9a95c0c8266da35a0ba6ef727c7b3b2034b304d5fa379c1783
-          dce_ast: ab424abddd134a99c482f32b96bab423e42d36091014fe4acda97f185d5d0319
+        - initial_symbol_table: 35ee2e769ba8d1a174cc4f967f1b9a4f8844bba3d9982c2ac3070ce1d6825060
+          type_checked_symbol_table: 499c212f93d8d1968ab8caeb746487a1733eed5a898dc32b222e09e5df217c9f
+          unrolled_symbol_table: 499c212f93d8d1968ab8caeb746487a1733eed5a898dc32b222e09e5df217c9f
+          initial_ast: 694a52110e6da25e2f913660cb7895414a75ae97a9111e4556c4b11d1c72e81b
+          unrolled_ast: 694a52110e6da25e2f913660cb7895414a75ae97a9111e4556c4b11d1c72e81b
+          ssa_ast: 5a9fdafcc13f0b292f09bed494d24c7e6fae43209ca566cc9b6ae156f847e52c
+          flattened_ast: 0524f98b8a4e39d91ad87779a65353f239d44f70c1fc3f8ee979c5bbf7e1be33
+          destructured_ast: 0205e51b54abfac82107b4eeb11c8b56e14d0dafb5f9f0ea64177f1ce7e70177
+          inlined_ast: 0205e51b54abfac82107b4eeb11c8b56e14d0dafb5f9f0ea64177f1ce7e70177
+          dce_ast: 83d25fc9ab6c7c6a4faf670a772ebb5fddcbd393c7608c8852590cea1d22b17b
          bytecode: 6bb1a87b470b0a3922ff01569b69b3eb7775546b86e8ac303cb80f03ab17692d
          errors: ""
          warnings: ""
--- a/tests/expectations/compiler/core/algorithms/integers/bhp512/bhp512_hash_to_u128.out
+++ b/tests/expectations/compiler/core/algorithms/integers/bhp512/bhp512_hash_to_u128.out
@ -3,16 +3,16 @@ namespace: Compile
 expectation: Pass
 outputs:
  - - compile:
-        - initial_symbol_table: 39f3fa8604259aee8964c8ff8d49efd1821694fecd76f0dc9007ca7f75ded146
-          type_checked_symbol_table: 8f22d66116ac703d735d89143a7ae2148e6f0ef26290a3cfd6337c9558e2949d
-          unrolled_symbol_table: 8f22d66116ac703d735d89143a7ae2148e6f0ef26290a3cfd6337c9558e2949d
-          initial_ast: 4211a0d8fd939bd5f67f61243fc57c93a988e10aa91ad702520b5b2abc314ea4
-          unrolled_ast: 4211a0d8fd939bd5f67f61243fc57c93a988e10aa91ad702520b5b2abc314ea4
-          ssa_ast: 32dee3a0688aca1378a32019ee09ffd59f3bc5afc218fc06dd0b1a9f1ea123e7
-          flattened_ast: 3b546b8942e6894b52890f4f59b2953fb0403097ecfa590b259a15521b42c55e
-          destructured_ast: bd024db7bbaeadbf01c6bac2bc97d7e7f58a1f4b3a7999a618479f878679cb05
-          inlined_ast: bd024db7bbaeadbf01c6bac2bc97d7e7f58a1f4b3a7999a618479f878679cb05
-          dce_ast: bde77cf382512ccbdcb8fb694b6be6896811e470e3c9e653d413e5be90835407
+        - initial_symbol_table: c61001eb615254ac870ec9d0371f14625c9f8a37460dcd21200d89dc858a38b0
+          type_checked_symbol_table: 3b673765d4870f7a85c78676fd417b30a14bc2c4f7197a499b6f2f278440d39a
+          unrolled_symbol_table: 3b673765d4870f7a85c78676fd417b30a14bc2c4f7197a499b6f2f278440d39a
+          initial_ast: dcde799de21c67810311861e2e5f07c3f87583b3f5d62e0c0da132e941283579
+          unrolled_ast: dcde799de21c67810311861e2e5f07c3f87583b3f5d62e0c0da132e941283579
+          ssa_ast: 34c1e9a9851ba745ae5e146eed895d315dff1ae91896903e938c0b6f649f575f
+          flattened_ast: 3899cadd54cebfe20932bc3d5d5ff1053b955656db4b963cf114ed0dedafa370
+          destructured_ast: 510a6bf0c8cfdcd0e2a6a27997a508563338e5d663ecb389b6c158a2d3f1ff61
+          inlined_ast: 510a6bf0c8cfdcd0e2a6a27997a508563338e5d663ecb389b6c158a2d3f1ff61
+          dce_ast: 226c9b27c6773c12837f4bb90403a8c086c9537e148e8f47b969dd9d1cdec5df
          bytecode: c8a24c75613249b3bca85b8cf50a450ffab5e3eced027b46d4ecb07fc94938fc
          errors: ""
          warnings: ""
--- a/tests/expectations/compiler/core/algorithms/integers/bhp512/bhp512_hash_to_u16.out
+++ b/tests/expectations/compiler/core/algorithms/integers/bhp512/bhp512_hash_to_u16.out
@ -3,16 +3,16 @@ namespace: Compile
 expectation: Pass
 outputs:
  - - compile:
-        - initial_symbol_table: 0a4365cf4560871d2fcbf3ca79d88a935969d230993bd958d28cedcfddde4c94
-          type_checked_symbol_table: 652a4b5d0da7be31b390b792b4a6ddcc4da23fdf451975a6f8b0aad0806672ac
-          unrolled_symbol_table: 652a4b5d0da7be31b390b792b4a6ddcc4da23fdf451975a6f8b0aad0806672ac
-          initial_ast: 6c986e5f3b7e17612f6f0dfa3a0f95d0aa59589382c74727400252bab53f5fd2
-          unrolled_ast: 6c986e5f3b7e17612f6f0dfa3a0f95d0aa59589382c74727400252bab53f5fd2
-          ssa_ast: 02e86af1db9fce677f9ab5653c04a254ee58199bc55cb5865ed445d02a10149d
-          flattened_ast: 1d007a6ade8ccf697527423d10383a19555077f2c0bb31779de32847c25c61ab
-          destructured_ast: 79f599e7697be78db4bf8c5d9f806027ff15043aeecc8ccb99f81fe12c90e5f3
-          inlined_ast: 79f599e7697be78db4bf8c5d9f806027ff15043aeecc8ccb99f81fe12c90e5f3
-          dce_ast: 9590af19b950c048123d8a9a3a2bfc1612504cad918ab60c6850e78724497d67
+        - initial_symbol_table: 0ca2caa5119ad8321c02902964c50669237711713d6ff2978bee751b9188925b
+          type_checked_symbol_table: 4dca1d62163f5d313d3dc3eba26a64f890dd816c23c96432624135c5c1426af6
+          unrolled_symbol_table: 4dca1d62163f5d313d3dc3eba26a64f890dd816c23c96432624135c5c1426af6
+          initial_ast: 9659f066dafbe316d7c9f023192ae6a0ee1000d55b1a0dd31b519e0b3e99991c
+          unrolled_ast: 9659f066dafbe316d7c9f023192ae6a0ee1000d55b1a0dd31b519e0b3e99991c
+          ssa_ast: d16ccf5524ccba08fc2b0624bd2d1614c4dcd6520830fac7e7efd203b8a2d655
+          flattened_ast: f97c04eab0bb6c1907df4613deaf9337bab67b1cf88f480d383a01dfae030e74
+          destructured_ast: efb3dca892b3fe8bd6208ab83337b2aaee858b726d0d0e379bc887a8ca165fda
+          inlined_ast: efb3dca892b3fe8bd6208ab83337b2aaee858b726d0d0e379bc887a8ca165fda
+          dce_ast: 46b44d483ec27aee5bbb040e25679e55eacd2f8c2fa423bccf0ab12b90af2af1
          bytecode: 4e7988f49b47d6e987d5931501b23e217ac5295f2fb3656bebb8617153c13b55
          errors: ""
          warnings: ""
--- a/tests/expectations/compiler/core/algorithms/integers/bhp512/bhp512_hash_to_u32.out
+++ b/tests/expectations/compiler/core/algorithms/integers/bhp512/bhp512_hash_to_u32.out
@ -3,16 +3,16 @@ namespace: Compile
 expectation: Pass
 outputs:
  - - compile:
-        - initial_symbol_table: 2dc7ad5e83f9c1cba20c56645ec155cb70abd718a81424b366f6c5678c6de77a
-          type_checked_symbol_table: c149a9b656b0bf41d055568d6d3c38be12cb9e7c46fd669f861d918fc8f86e99
-          unrolled_symbol_table: c149a9b656b0bf41d055568d6d3c38be12cb9e7c46fd669f861d918fc8f86e99
-          initial_ast: f98f70a886494a54ffd604a01107dc7133dd57d1e4f5719caeab23e51cd87225
-          unrolled_ast: f98f70a886494a54ffd604a01107dc7133dd57d1e4f5719caeab23e51cd87225
-          ssa_ast: 40ffbd3b7bc0e44aa8dab98270b03a92feb247ccb906bda7a906b08a52324f91
-          flattened_ast: c1497d72addfb2971a6be6e9ee728c24f15baaa86a62a646dbca1ff9963ce8b1
-          destructured_ast: 63a990c0c5cf7d70bddd9620ed6a12ce71b1113c4d9a142a4df4fe42260f9439
-          inlined_ast: 63a990c0c5cf7d70bddd9620ed6a12ce71b1113c4d9a142a4df4fe42260f9439
-          dce_ast: e875c55dea1a13fbe2537e80c52f990cb84902812b236dedec38d528ba55db0e
+        - initial_symbol_table: 8a8e3573eac7f8f017654f77635ed47fa35bdc38f8f236577f70eaf8d902f0bb
+          type_checked_symbol_table: 28867dd4811976283a9b5e0d146926f02dbf0b1d1e23d3173901ffff0c26cce9
+          unrolled_symbol_table: 28867dd4811976283a9b5e0d146926f02dbf0b1d1e23d3173901ffff0c26cce9
+          initial_ast: 9bb717bbb182e273bc2090955e8f8264cd6f9aa2d6f16b38f10099fe1706bc0d
+          unrolled_ast: 9bb717bbb182e273bc2090955e8f8264cd6f9aa2d6f16b38f10099fe1706bc0d
+          ssa_ast: 0dabe39e154b4e57362d033c9816acbac59d47808a1d85e589dde4ff0dcbe0fe
+          flattened_ast: 808c2053c59e7d183aa033efb5728c75f6e668dc2d7c9c4ffc80bfa5c336507b
+          destructured_ast: 03774be93476115618592fe1d7989fa090c863ae010299751f5ee1ff4e5e4530
+          inlined_ast: 03774be93476115618592fe1d7989fa090c863ae010299751f5ee1ff4e5e4530
+          dce_ast: e7a66b25a831fd4e8936f02ad82ca5945f2f29a2426b7bf18954bd70a0f1137f
          bytecode: 96dddca27dc2e6feaa13b9f53fe1bb2180299e90860ed8c3be4f92687949f30f
          errors: ""
          warnings: ""
--- a/tests/expectations/compiler/core/algorithms/integers/bhp512/bhp512_hash_to_u64.out
+++ b/tests/expectations/compiler/core/algorithms/integers/bhp512/bhp512_hash_to_u64.out
@ -3,16 +3,16 @@ namespace: Compile
 expectation: Pass
 outputs:
  - - compile:
-        - initial_symbol_table: d5fd069f6ac8ae6bf3f0312c296b2e8992a55396485d96bcbed914675f614b70
-          type_checked_symbol_table: d5db26b218aac3755c6d6d30cf6a5599dbdf0efc1e739d355bd4362ee6939481
-          unrolled_symbol_table: d5db26b218aac3755c6d6d30cf6a5599dbdf0efc1e739d355bd4362ee6939481
-          initial_ast: e1d9510f110b7b1788939a64211547535f7ff33096900809132ff8517d15d355
-          unrolled_ast: e1d9510f110b7b1788939a64211547535f7ff33096900809132ff8517d15d355
-          ssa_ast: affce61cee4dd1e5d63c4d745e4af074fc7ff29a6fa42e2a31f5ee256e66efba
-          flattened_ast: 6153a47bc55e485c61e62a1d6f0e639de24d822321d52ee4dbf59ceec3351807
-          destructured_ast: 151841eda498b3fb6b551a64b2428ce28f709337e0ab0d2b61585815feb63f45
-          inlined_ast: 151841eda498b3fb6b551a64b2428ce28f709337e0ab0d2b61585815feb63f45
-          dce_ast: d51e1453c50951fea39ca17b72162abd8754a2fccca38e3a1e652ad4ef0af6cf
+        - initial_symbol_table: bf263d04fc2a6ac36471c659256e5478fdf34037fdce7f864e8b162ff591efc1
+          type_checked_symbol_table: 53bf621a0d188b44634e3178e7de4ba51612d1f857927d994e2d44ffe1e9b8b3
+          unrolled_symbol_table: 53bf621a0d188b44634e3178e7de4ba51612d1f857927d994e2d44ffe1e9b8b3
+          initial_ast: 575a38d4650b807917df4f8260ad5040216b65fa7b75b4a20e482ca2e0222185
+          unrolled_ast: 575a38d4650b807917df4f8260ad5040216b65fa7b75b4a20e482ca2e0222185
+          ssa_ast: d704f18f97d965d7356406c5a4e5291c7656c896d29c74a902f60dc9d825068d
+          flattened_ast: c1e8f7b677028c755a2334019a6c19b150377587615ff749d9814d342fd29755
+          destructured_ast: ddd16c1e991f9a334c68397078ca5cd6a4b319bddee02edfeb3d2f5467541705
+          inlined_ast: ddd16c1e991f9a334c68397078ca5cd6a4b319bddee02edfeb3d2f5467541705
+          dce_ast: c685468808bdb378ecf4ba8ee354b79f0e76296f15c58b0bc2a4d34a1e0af2f6
          bytecode: 3ab4dfa32ff8135e1878b8fda9bc1d0688c959e520d9bcac13f7128048ddca70
          errors: ""
          warnings: ""
--- a/tests/expectations/compiler/core/algorithms/integers/bhp512/bhp512_hash_to_u8.out
+++ b/tests/expectations/compiler/core/algorithms/integers/bhp512/bhp512_hash_to_u8.out
@ -3,16 +3,16 @@ namespace: Compile
 expectation: Pass
 outputs:
  - - compile:
-        - initial_symbol_table: dd9f4e83f6c323990bf20628ddb73c5db2fbfa246e70a8365e06dbb37bc88ff3
-          type_checked_symbol_table: 67190d8f33c3f10b6e31b4174b678a5767b21736929d10e1059c656efac2bac7
-          unrolled_symbol_table: 67190d8f33c3f10b6e31b4174b678a5767b21736929d10e1059c656efac2bac7
-          initial_ast: c412246c362269179086aeccb6328352e9d7d523c0b6c9f0a96d60d53e8bd5cf
-          unrolled_ast: c412246c362269179086aeccb6328352e9d7d523c0b6c9f0a96d60d53e8bd5cf
-          ssa_ast: e639e16a13ee602ff10d645f6fe1f6aa414d08571e9b3bbcd8bbc817a3513780
-          flattened_ast: 42e7ccbf1b31f0a0afa6fb739d0978372211b85fd60b7014c82732562eb93909
-          destructured_ast: fd7203c1667df2ad1a5c9640d24b9aef9cd3eba9cf1d623264ae9435b9bb8779
-          inlined_ast: fd7203c1667df2ad1a5c9640d24b9aef9cd3eba9cf1d623264ae9435b9bb8779
-          dce_ast: 6369e58ea4ff8e05200fbb3793fff8350bdb455efebb87fe399ae8ec5df434a7
+        - initial_symbol_table: 6f3b0bb827fe9e0527663a89ab2bb176631983eb7f66fc71c01437d229aab92f
+          type_checked_symbol_table: 469c1b2c9bd2ca9d2a8bfdd68f3fdf29988d0ada94149ec8cb650ec3ff419534
+          unrolled_symbol_table: 469c1b2c9bd2ca9d2a8bfdd68f3fdf29988d0ada94149ec8cb650ec3ff419534
+          initial_ast: 43f6e5cc25ae568f873ab32e1015a1b8d08bcae77664d9aa19fab4e121f9e22f
+          unrolled_ast: 43f6e5cc25ae568f873ab32e1015a1b8d08bcae77664d9aa19fab4e121f9e22f
+          ssa_ast: 8446e8cea6cd53ec9a43605f63b6226bb63c343f7194cc0dc7f023ead6dba77d
+          flattened_ast: 079abe26aae23c849418beab6734357f4a53522483a17c9103ed64756e46d535
+          destructured_ast: 279ee18d01b7309d6694700deaf8830325ccf720bb0d4ca4bdf5388d0dd11efc
+          inlined_ast: 279ee18d01b7309d6694700deaf8830325ccf720bb0d4ca4bdf5388d0dd11efc
+          dce_ast: 755082a891fdd5374100e6e97d64d8cffbfc0e4d7802b1820d519b56cdc23319
          bytecode: ce3656eda78b090739dad77c6fbcf5e3cf43a1327a367b01504913a37ca7ee3c
          errors: ""
          warnings: ""
--- a/Show More
+++ b/Show More