diff --git a/.circleci/config.yml b/.circleci/config.yml
index 426ef14306..eeb0fca330 100644
--- a/.circleci/config.yml
+++ b/.circleci/config.yml
@@ -40,8 +40,6 @@ commands:
           paths:
             - .cache/sccache
             - .cargo
-# orbs:
-#   codecov: codecov/codecov@1.2.3
 
 jobs:
   check-style:
@@ -76,48 +74,6 @@ jobs:
             cargo +nightly clippy --workspace --all-targets --all-features -- -D warnings
       - clear_environment:
           cache_key: leo-clippy-cache
-          
-  # code-cov:
-  #   docker:
-  #     - image: cimg/rust:1.62
-  #   resource_class: xlarge
-  #   environment:
-  #     RUSTC_BOOTSTRAP: 1
-  #   steps:
-  #     - checkout
-  #     - setup_environment:
-  #         cache_key: leo-codecov-cache
-  #     - run:
-  #         name: Build and run tests
-  #         no_output_timeout: 30m
-  #         command: cargo test --all
-  #     - run:
-  #         name: Install Code Cov Deps
-  #         no_output_timeout: 30m
-  #         command: |
-  #           sudo apt-get update
-  #           sudo apt-get -y install binutils-dev libcurl4-openssl-dev zlib1g-dev libdw-dev libiberty-dev
-  #     - run:
-  #         name: Generate Coverage Report
-  #         no_output_timeout: 30m
-  #         command: |
-  #           wget https://github.com/SimonKagstrom/kcov/archive/master.tar.gz
-  #           tar xzf master.tar.gz
-  #           cd kcov-master
-  #           mkdir build && cd build
-  #           cmake .. && make
-  #           make install DESTDIR=../../kcov-build
-  #           cd ../..
-  #           rm -rf kcov-master
-  #           for file in target/debug/deps/*-*; do if [[ "$file" != *\.* ]]; then mkdir -p "target/cov/$(basename $file)"; ./kcov-build/usr/local/bin/kcov --exclude-pattern=/.cargo,/usr/lib --exclude-region='@kcov_skip(start):@kcov_skip(end)' --verify "target/cov/$(basename $file)" "$file"; fi done
-  #     steps:
-  #     - codecov/upload:
-  #         file: {{}}
-  #     - persist_to_workspace:
-  #         root: ~/
-  #         paths: project/
-  #     - clear_environment:
-  #         cache_key: leo-codecov-cache
 
   leo-executable:
     docker:
@@ -133,7 +89,8 @@ jobs:
           command: cargo install --path . --root . --locked
       - persist_to_workspace:
           root: ~/
-          paths: project/
+          paths:
+            - project/
       - clear_environment:
           cache_key: leo-executable-cache
 
@@ -163,6 +120,19 @@ jobs:
             export LEO=/home/circleci/project/project/bin/leo
             ./project/.circleci/leo-clean.sh
 
+  test-examples:
+    docker:
+      - image: cimg/rust:1.62
+    resource_class: xlarge
+    steps:
+      - attach_workspace:
+          at: /home/circleci/project/
+      - run:
+          name: test examples example
+          command: |
+            export LEO=/home/circleci/project/project/bin/leo
+            ./project/.circleci/test-examples.sh
+
 workflows:
   version: 2
   main-workflow:
@@ -176,3 +146,6 @@ workflows:
       - leo-clean:
           requires:
             - leo-executable
+      - test-examples:
+          requires:
+            - leo-executable
\ No newline at end of file
diff --git a/.circleci/leo-new.sh b/.circleci/leo-new.sh
index 02a0c32f1a..132dbf2381 100755
--- a/.circleci/leo-new.sh
+++ b/.circleci/leo-new.sh
@@ -3,5 +3,5 @@ $LEO new foo
 ls -la
 cd foo && ls -la
 
-# Try to run `leo build`.
+# Try to run `leo run`.
 $LEO run
diff --git a/.circleci/test-examples.sh b/.circleci/test-examples.sh
new file mode 100755
index 0000000000..7364e58676
--- /dev/null
+++ b/.circleci/test-examples.sh
@@ -0,0 +1,46 @@
+# Build and run the helloworld Leo program.
+(
+  cd ./project/examples/helloworld || exit
+  $LEO run main
+)
+
+# Build and run the bubblesort Leo program.
+(
+  cd ./project/examples/bubblesort || exit
+  $LEO run bubblesort
+)
+
+# Build and run the core example Leo program.
+(
+  cd ./project/examples/core || exit
+  $LEO run main
+)
+
+# Build and run the groups example Leo program.
+(
+  cd ./project/examples/groups || exit
+  $LEO run main
+)
+
+# Build and run the import point example Leo program.
+(
+  cd ./project/examples/import_point || exit
+  $LEO run main
+)
+
+# Build and run the message example Leo program.
+(
+  cd ./project/examples/message || exit
+  $LEO run main
+)
+
+# Build and run the token example programs.
+(
+  cd ./project/examples/token || exit
+
+  # Run the mint program.
+  $LEO run mint
+
+  # Run the transfer program.
+  $LEO run transfer
+)
\ No newline at end of file
diff --git a/compiler/ast/src/passes/reconstructor.rs b/compiler/ast/src/passes/reconstructor.rs
index bba4bc0423..0e762e494c 100644
--- a/compiler/ast/src/passes/reconstructor.rs
+++ b/compiler/ast/src/passes/reconstructor.rs
@@ -184,7 +184,6 @@ pub trait StatementReconstructor: ExpressionReconstructor {
 
     fn reconstruct_assign(&mut self, input: AssignStatement) -> Statement {
         Statement::Assign(Box::new(AssignStatement {
-            operation: input.operation,
             place: input.place,
             value: self.reconstruct_expression(input.value).0,
             span: input.span,
diff --git a/compiler/ast/src/statements/assign/mod.rs b/compiler/ast/src/statements/assign/mod.rs
index 85821ec937..688d2371a1 100644
--- a/compiler/ast/src/statements/assign/mod.rs
+++ b/compiler/ast/src/statements/assign/mod.rs
@@ -14,97 +14,16 @@
 // You should have received a copy of the GNU General Public License
 // along with the Leo library. If not, see <https://www.gnu.org/licenses/>.
 
-use crate::{BinaryOperation, Expression, Node};
+use crate::{Expression, Node};
 use leo_span::Span;
 
 use serde::{Deserialize, Serialize};
 use std::fmt;
 
-/// The assignment operator.
-#[derive(Clone, Copy, PartialEq, Eq, Serialize, Deserialize, Debug)]
-pub enum AssignOperation {
-    /// Plain assignment, `=`.
-    Assign,
-    /// Adding assignment, `+=`.
-    Add,
-    /// Subtracting assignment, `-=`.
-    Sub,
-    /// Multiplying assignment, `*=`.
-    Mul,
-    /// Dividing-assignment, `/=`.
-    Div,
-    /// Remaindering-assignment, `%=`.
-    Rem,
-    /// Exponentiating assignment `**=`.
-    Pow,
-    /// Logical or assignment `||=`.
-    Or,
-    /// Logical and assignment `&&=`.
-    And,
-    /// Bitwise or assignment `|=`.
-    BitOr,
-    /// Bitwise and assignment `&=`.
-    BitAnd,
-    /// Bitwise xor assignment `^=`.
-    BitXor,
-    /// Shift right assignment `>>=`.
-    Shr,
-    // /// Signed shift right assignment.
-    // ShrSigned,
-    /// Shift left assignment `<<=`.
-    Shl,
-}
-
-impl AssignOperation {
-    pub fn into_binary_operation(assign_op: AssignOperation) -> Option<BinaryOperation> {
-        match assign_op {
-            AssignOperation::Assign => None,
-            AssignOperation::Add => Some(BinaryOperation::Add),
-            AssignOperation::Sub => Some(BinaryOperation::Sub),
-            AssignOperation::Mul => Some(BinaryOperation::Mul),
-            AssignOperation::Div => Some(BinaryOperation::Div),
-            AssignOperation::Rem => Some(BinaryOperation::Rem),
-            AssignOperation::Pow => Some(BinaryOperation::Pow),
-            AssignOperation::Or => Some(BinaryOperation::Or),
-            AssignOperation::And => Some(BinaryOperation::And),
-            AssignOperation::BitOr => Some(BinaryOperation::BitwiseOr),
-            AssignOperation::BitAnd => Some(BinaryOperation::BitwiseAnd),
-            AssignOperation::BitXor => Some(BinaryOperation::Xor),
-            AssignOperation::Shr => Some(BinaryOperation::Shr),
-            // AssignOperation::ShrSigned => Some(BinaryOperation::ShrSigned),
-            AssignOperation::Shl => Some(BinaryOperation::Shl),
-        }
-    }
-}
-
-impl AsRef<str> for AssignOperation {
-    fn as_ref(&self) -> &'static str {
-        match self {
-            AssignOperation::Assign => "=",
-            AssignOperation::Add => "+=",
-            AssignOperation::Sub => "-=",
-            AssignOperation::Mul => "*=",
-            AssignOperation::Div => "/=",
-            AssignOperation::Rem => "%=",
-            AssignOperation::Pow => "**=",
-            AssignOperation::Or => "||=",
-            AssignOperation::And => "&&=",
-            AssignOperation::BitOr => "|=",
-            AssignOperation::BitAnd => "&=",
-            AssignOperation::BitXor => "^=",
-            AssignOperation::Shr => ">>=",
-            // AssignOperation::ShrSigned => ">>>=",
-            AssignOperation::Shl => "<<=",
-        }
-    }
-}
-
-/// An assignment statement, `assignee operation? = value`.
+/// An assignment statement, `assignee = value`.
+/// Note that there is no operation associated with the assignment.
 #[derive(Clone, PartialEq, Eq, Serialize, Deserialize, Debug)]
 pub struct AssignStatement {
-    /// The assignment operation.
-    /// For plain assignment, use `AssignOperation::Assign`.
-    pub operation: AssignOperation,
     /// The place to assign to.
     pub place: Expression,
     /// The value to assign to the `assignee`.
@@ -115,7 +34,7 @@ pub struct AssignStatement {
 
 impl fmt::Display for AssignStatement {
     fn fmt(&self, f: &mut fmt::Formatter) -> fmt::Result {
-        write!(f, "{} {} {};", self.place, self.operation.as_ref(), self.value)
+        write!(f, "{} = {};", self.place, self.value)
     }
 }
 
diff --git a/compiler/parser/src/parser/statement.rs b/compiler/parser/src/parser/statement.rs
index aea7e34b99..b52101cf66 100644
--- a/compiler/parser/src/parser/statement.rs
+++ b/compiler/parser/src/parser/statement.rs
@@ -55,32 +55,44 @@ impl ParserContext<'_> {
         let place = self.parse_expression()?;
 
         if self.eat_any(ASSIGN_TOKENS) {
+            // Determine the corresponding binary operation for each token, if it exists.
             let operation = match &self.prev_token.token {
-                Token::Assign => AssignOperation::Assign,
-                Token::AddAssign => AssignOperation::Add,
-                Token::SubAssign => AssignOperation::Sub,
-                Token::MulAssign => AssignOperation::Mul,
-                Token::DivAssign => AssignOperation::Div,
-                Token::RemAssign => AssignOperation::Rem,
-                Token::PowAssign => AssignOperation::Pow,
-                Token::OrAssign => AssignOperation::Or,
-                Token::AndAssign => AssignOperation::And,
-                Token::BitAndAssign => AssignOperation::BitAnd,
-                Token::BitOrAssign => AssignOperation::BitOr,
-                Token::BitXorAssign => AssignOperation::BitXor,
-                Token::ShrAssign => AssignOperation::Shr,
-                Token::ShlAssign => AssignOperation::Shl,
+                Token::Assign => None,
+                Token::AddAssign => Some(BinaryOperation::Add),
+                Token::SubAssign => Some(BinaryOperation::Sub),
+                Token::MulAssign => Some(BinaryOperation::Mul),
+                Token::DivAssign => Some(BinaryOperation::Div),
+                Token::RemAssign => Some(BinaryOperation::Rem),
+                Token::PowAssign => Some(BinaryOperation::Pow),
+                Token::OrAssign => Some(BinaryOperation::Or),
+                Token::AndAssign => Some(BinaryOperation::And),
+                Token::BitAndAssign => Some(BinaryOperation::BitwiseAnd),
+                Token::BitOrAssign => Some(BinaryOperation::BitwiseOr),
+                Token::BitXorAssign => Some(BinaryOperation::Xor),
+                Token::ShrAssign => Some(BinaryOperation::Shr),
+                Token::ShlAssign => Some(BinaryOperation::Shl),
                 _ => unreachable!("`parse_assign_statement` shouldn't produce this"),
             };
 
             let value = self.parse_expression()?;
             self.expect(&Token::Semicolon)?;
-            Ok(Statement::Assign(Box::new(AssignStatement {
-                span: place.span() + value.span(),
-                place,
-                operation,
-                value,
-            })))
+
+            // Construct the span for the statement.
+            let span = place.span() + value.span();
+
+            // Simplify complex assignments into simple assignments.
+            // For example, `x += 1` becomes `x = x + 1`, while simple assignments like `x = y` remain unchanged.
+            let value = match operation {
+                None => value,
+                Some(op) => Expression::Binary(BinaryExpression {
+                    left: Box::new(place.clone()),
+                    right: Box::new(value),
+                    op,
+                    span,
+                }),
+            };
+
+            Ok(Statement::Assign(Box::new(AssignStatement { span, place, value })))
         } else {
             // Error on `expr;` but recover as an empty block `{}`.
             self.expect(&Token::Semicolon)?;
diff --git a/compiler/passes/src/static_single_assignment/mod.rs b/compiler/passes/src/static_single_assignment/mod.rs
index 856ac5051d..e00b8a5273 100644
--- a/compiler/passes/src/static_single_assignment/mod.rs
+++ b/compiler/passes/src/static_single_assignment/mod.rs
@@ -17,7 +17,6 @@
 //! The Static Single Assignment pass traverses the AST and converts it into SSA form.
 //! See https://en.wikipedia.org/wiki/Static_single-assignment_form for more information.
 //! The pass also flattens `ConditionalStatement`s into a sequence of `AssignStatement`s.
-//! The pass also rewrites complex `AssignStatement`s into simpler ones. e.g x += 1 -> x = x + 1.
 //! The pass also rewrites `ReturnStatement`s into `AssignStatement`s and consolidates the returned values as a single `ReturnStatement` at the end of the function.
 //!
 //! Consider the following Leo code.
diff --git a/compiler/passes/src/static_single_assignment/rename_statement.rs b/compiler/passes/src/static_single_assignment/rename_statement.rs
index 05b39259cd..c1d0a26e1f 100644
--- a/compiler/passes/src/static_single_assignment/rename_statement.rs
+++ b/compiler/passes/src/static_single_assignment/rename_statement.rs
@@ -17,9 +17,9 @@
 use crate::{RenameTable, StaticSingleAssigner};
 
 use leo_ast::{
-    AssignOperation, AssignStatement, BinaryExpression, BinaryOperation, Block, ConditionalStatement,
-    DefinitionStatement, Expression, ExpressionReconstructor, Identifier, Node, ReturnStatement, Statement,
-    StatementReconstructor, TernaryExpression, UnaryExpression, UnaryOperation,
+    AssignStatement, BinaryExpression, BinaryOperation, Block, ConditionalStatement, DefinitionStatement, Expression,
+    ExpressionReconstructor, Identifier, Node, ReturnStatement, Statement, StatementReconstructor, TernaryExpression,
+    UnaryExpression, UnaryOperation,
 };
 use leo_span::Symbol;
 
@@ -70,23 +70,10 @@ impl StatementReconstructor for StaticSingleAssigner<'_> {
         )
     }
 
-    /// Transform all `AssignStatement`s to simple `AssignStatement`s.
-    /// For example,
-    ///   `x += y * 3` becomes `x = x + (y * 3)`
-    ///   `x &= y | 1` becomes `x = x & (y | 1)`
-    ///   `x = y + 3` remains `x = y + 3`
+    /// Reconstruct all `AssignStatement`s, renaming as necessary.
     fn reconstruct_assign(&mut self, assign: AssignStatement) -> Statement {
         // First reconstruct the right-hand-side of the assignment.
-        let value = match assign.operation {
-            AssignOperation::Assign => self.reconstruct_expression(assign.value).0,
-            // Note that all `AssignOperation`s except for the `Assign` variant have an equivalent `BinaryOperation`.
-            _ => Expression::Binary(BinaryExpression {
-                left: Box::new(self.reconstruct_expression(assign.place.clone()).0),
-                right: Box::new(self.reconstruct_expression(assign.value).0),
-                op: AssignOperation::into_binary_operation(assign.operation).unwrap(),
-                span: assign.span,
-            }),
-        };
+        let value = self.reconstruct_expression(assign.value).0;
 
         // Then assign a new unique name to the left-hand-side of the assignment.
         // Note that this order is necessary to ensure that the right-hand-side uses the correct name when reconstructing a complex assignment.
diff --git a/compiler/passes/src/static_single_assignment/static_single_assigner.rs b/compiler/passes/src/static_single_assignment/static_single_assigner.rs
index 6c199eb8f0..426ac65094 100644
--- a/compiler/passes/src/static_single_assignment/static_single_assigner.rs
+++ b/compiler/passes/src/static_single_assignment/static_single_assigner.rs
@@ -18,7 +18,7 @@ use crate::RenameTable;
 use std::fmt::Display;
 
 use leo_ast::{
-    AssignOperation, AssignStatement, ConditionalStatement, Expression, ExpressionReconstructor, Identifier, Statement,
+    AssignStatement, ConditionalStatement, Expression, ExpressionReconstructor, Identifier, Statement,
     StatementReconstructor,
 };
 use leo_errors::emitter::Handler;
@@ -64,7 +64,6 @@ impl<'a> StaticSingleAssigner<'a> {
     /// Constructs the assignment statement `place = expr;`.
     pub(crate) fn simple_assign_statement(place: Expression, value: Expression) -> Statement {
         Statement::Assign(Box::new(AssignStatement {
-            operation: AssignOperation::Assign,
             place,
             value,
             span: Default::default(),
diff --git a/tests/compiler/statements/inputs/shift_and_pow.in b/tests/compiler/statements/inputs/shift_and_pow.in
new file mode 100644
index 0000000000..66704d4fc4
--- /dev/null
+++ b/tests/compiler/statements/inputs/shift_and_pow.in
@@ -0,0 +1,11 @@
+[unsigned]
+a: u8 = 1u8;
+b: u8 = 2u8;
+c: u8 = 3u8;
+d: u8 = 4u8;
+
+[signed]
+a: i8 = 1i8;
+b: u8 = 2u8;
+c: u8 = 3u8;
+d: u8 = 4u8;
diff --git a/tests/compiler/statements/operations/pow_assign.leo b/tests/compiler/statements/operations/pow_assign.leo
index 0ea39ac758..5ca9ca1af7 100644
--- a/tests/compiler/statements/operations/pow_assign.leo
+++ b/tests/compiler/statements/operations/pow_assign.leo
@@ -1,13 +1,22 @@
 /*
 namespace: Compile
 expectation: Pass
-input_files: ../inputs/u8.in
+input_files: ../inputs/shift_and_pow.in
 */
 
 @program
-function main(a: u8) -> u8 {
-    let b: u8 = 1u8;
-    b **= a;
+function unsigned(a: u8, b: u8, c: u16, d: u32) -> u8 {
+    a **= b;
+    a **= c;
+    a **= d;
 
-    return b;
+    return a;
+}
+
+function signed(a: i8, b: u8, c: u16, d: u32) -> i8 {
+    a **= b;
+    a **= c;
+    a **= d;
+
+    return a;
 }
\ No newline at end of file
diff --git a/tests/compiler/statements/operations/shl_assign.leo b/tests/compiler/statements/operations/shl_assign.leo
index a67b96ec74..27b13e5732 100644
--- a/tests/compiler/statements/operations/shl_assign.leo
+++ b/tests/compiler/statements/operations/shl_assign.leo
@@ -1,13 +1,22 @@
 /*
 namespace: Compile
 expectation: Pass
-input_files: ../inputs/u8.in
+input_files: ../inputs/shift_and_pow.in
 */
 
 @program
-function main(a: u8) -> u8 {
-    let b: u8 = 1u8;
-    b <<= a;
+function unsigned(a: u8, b: u8, c: u16, d: u32) -> u8 {
+    a <<= b;
+    a <<= c;
+    a <<= d;
 
-    return b;
+    return a;
+}
+
+function signed(a: i8, b: u8, c: u16, d: u32) -> i8 {
+    a <<= b;
+    a <<= c;
+    a <<= d;
+
+    return a;
 }
\ No newline at end of file
diff --git a/tests/compiler/statements/operations/shr_assign.leo b/tests/compiler/statements/operations/shr_assign.leo
index 8f0879c628..b9997d2b40 100644
--- a/tests/compiler/statements/operations/shr_assign.leo
+++ b/tests/compiler/statements/operations/shr_assign.leo
@@ -1,13 +1,22 @@
 /*
 namespace: Compile
 expectation: Pass
-input_files: ../inputs/u8.in
+input_files: ../inputs/shift_and_pow.in
 */
 
 @program
-function main(a: u8) -> u8 {
-    let b: u8 = 1u8;
-    b >>= a;
+function unsigned(a: u8, b: u8, c: u16, d: u32) -> u8 {
+    a >>= b;
+    a >>= c;
+    a >>= d;
 
-    return b;
+    return a;
+}
+
+function signed(a: i8, b: u8, c: u16, d: u32) -> i8 {
+    a >>= b;
+    a >>= c;
+    a >>= d;
+
+    return a;
 }
\ No newline at end of file
diff --git a/tests/expectations/compiler/address/binary.out b/tests/expectations/compiler/address/binary.out
index f9c5ed47c1..110a1e7467 100644
--- a/tests/expectations/compiler/address/binary.out
+++ b/tests/expectations/compiler/address/binary.out
@@ -6,4 +6,4 @@ outputs:
       - initial_input_ast: ef995e1b03c6e17ab0a2f908f4cd7957ea281fdc38834cbaed1dac75086b6eef
     initial_ast: e03d13cbc587a6d151c78e5de0671e5c4a210626fa1f4c2a648a78656541795a
     unrolled_ast: e03d13cbc587a6d151c78e5de0671e5c4a210626fa1f4c2a648a78656541795a
-    ssa_ast: 4cce2da78e4b7f3bc1ab0c1594507b793269c28221900f4c8c3bd2ebe3b4c3e9
+    ssa_ast: 50d90de0d55bc4d1f3a6019a5be2c451f34f527ad557e7fcae69b23c89b89168
diff --git a/tests/expectations/compiler/address/branch.out b/tests/expectations/compiler/address/branch.out
index bb2554693e..bf2cc81c34 100644
--- a/tests/expectations/compiler/address/branch.out
+++ b/tests/expectations/compiler/address/branch.out
@@ -4,6 +4,6 @@ expectation: Pass
 outputs:
   - output:
       - initial_input_ast: 8a386677fc570d7f57e8e5259334608ddef2d04d55e1aea9aa591c1d95bc84b7
-    initial_ast: 1b6b8afa3080f9aee466769758439b34678b3ee108e76e90820434ec29a46061
-    unrolled_ast: 1b6b8afa3080f9aee466769758439b34678b3ee108e76e90820434ec29a46061
-    ssa_ast: 1033d3e32ddc1e836c9818a97b96ad806950f630e04cc6999346ce017a3f470b
+    initial_ast: 7d45de597ab6b8d40b0d16e5e870f40abb988b13c1acbb600f7810677b1cdc60
+    unrolled_ast: 7d45de597ab6b8d40b0d16e5e870f40abb988b13c1acbb600f7810677b1cdc60
+    ssa_ast: 4b2091eff9598339e614fc3c4d81a4b9368e1822f4a4cbc2e198ec3730a1f28e
diff --git a/tests/expectations/compiler/address/equal.out b/tests/expectations/compiler/address/equal.out
index d77b7060a3..624c2d1cce 100644
--- a/tests/expectations/compiler/address/equal.out
+++ b/tests/expectations/compiler/address/equal.out
@@ -6,4 +6,4 @@ outputs:
       - initial_input_ast: 7223f540c91cd639cc122936a41fc896f821e2d57c9f6f086eb4d555dc9c9217
     initial_ast: 4c089e5cf54b0e179bd9ad45c61b42eaa7e2b3e01731e7687751bc7028f560db
     unrolled_ast: 4c089e5cf54b0e179bd9ad45c61b42eaa7e2b3e01731e7687751bc7028f560db
-    ssa_ast: 44dc04b1e2e31566989e2e486b753e3cb76ffbfaa1cc4cbe0c4bbc8d616596d7
+    ssa_ast: 8afe8c4445e1896b5588a2d7da3864859feb1ca605bfa3db268c838193141bb5
diff --git a/tests/expectations/compiler/address/ternary.out b/tests/expectations/compiler/address/ternary.out
index 0ecb8cac82..517896993c 100644
--- a/tests/expectations/compiler/address/ternary.out
+++ b/tests/expectations/compiler/address/ternary.out
@@ -7,4 +7,4 @@ outputs:
       - initial_input_ast: 079946da42e7c73ef17f4385e8ca310259a5e0f1e6471abee30b6175f413e480
     initial_ast: c1fae7787725582a0a1023c4d9d8ade74df9c1bf763afd9ae55db25991e40a0d
     unrolled_ast: c1fae7787725582a0a1023c4d9d8ade74df9c1bf763afd9ae55db25991e40a0d
-    ssa_ast: 40cb4f4eddc22bcd08b0069e330a6066cedbe09bbd54da29b974a90b67354207
+    ssa_ast: f414d0e40ccaee1ae59f8fdd9d6056bf5b54a4aa1c4c9a844e82364b5842b740
diff --git a/tests/expectations/compiler/boolean/operator_methods.out b/tests/expectations/compiler/boolean/operator_methods.out
index 89e1937be3..a1affc75ff 100644
--- a/tests/expectations/compiler/boolean/operator_methods.out
+++ b/tests/expectations/compiler/boolean/operator_methods.out
@@ -9,4 +9,4 @@ outputs:
       - initial_input_ast: 07a295a1403e9020a1fb03ddcaf92b18a3237d1d4ad70b1549db77f1e2d1e6b0
     initial_ast: fc62a609a2356f831632ee3cb4988d5caabd9a1fb94947978a66de3f27dcc79a
     unrolled_ast: fc62a609a2356f831632ee3cb4988d5caabd9a1fb94947978a66de3f27dcc79a
-    ssa_ast: 11d4c55e50e8838e9710a17ef0e0ebdf78a1705b78b09d8e5aff294641c3357b
+    ssa_ast: 14430071af1de6ce570e3ec6ebd93a48db0652b4b8a93ad987b1545b27b8a5d0
diff --git a/tests/expectations/compiler/circuits/inline.out b/tests/expectations/compiler/circuits/inline.out
index 6b4694485f..feb75b8603 100644
--- a/tests/expectations/compiler/circuits/inline.out
+++ b/tests/expectations/compiler/circuits/inline.out
@@ -6,4 +6,4 @@ outputs:
       - initial_input_ast: no input
     initial_ast: 42b05cc1bf023a01dd8f8e2ae9269ebea9d33d9e33f2817700947882de3a68d6
     unrolled_ast: 42b05cc1bf023a01dd8f8e2ae9269ebea9d33d9e33f2817700947882de3a68d6
-    ssa_ast: dac2eb52093dfee38c65602b289cccee18e5e73784968eadb2ba99415121bb29
+    ssa_ast: 8393011c629a3b5e4916744d7ad11cb04e5859608f98f134acbb8f4b489bce3c
diff --git a/tests/expectations/compiler/circuits/member_variable.out b/tests/expectations/compiler/circuits/member_variable.out
index 94e8a4753c..943f519526 100644
--- a/tests/expectations/compiler/circuits/member_variable.out
+++ b/tests/expectations/compiler/circuits/member_variable.out
@@ -6,4 +6,4 @@ outputs:
       - initial_input_ast: 3ad7f9e1a4aa5edb8ab4cc1eb0d4baa189f8d388eb90565a269098cee9b06d3c
     initial_ast: dbf04a84f2365baaba791dc1e55efdbbaff17159e04506a0cb4678a6ea5e6c5f
     unrolled_ast: dbf04a84f2365baaba791dc1e55efdbbaff17159e04506a0cb4678a6ea5e6c5f
-    ssa_ast: 77c8d4f65f46d58a54696ffc5e6802d9b06e3d031cbabbf7d8cb8e882ed5b460
+    ssa_ast: e550a6a7bd2b01a57065db34ce68144a30ce42f2077888795ddaa79ce81291ac
diff --git a/tests/expectations/compiler/console/log_conditional.out b/tests/expectations/compiler/console/log_conditional.out
index b8cd5f0414..14b46607f8 100644
--- a/tests/expectations/compiler/console/log_conditional.out
+++ b/tests/expectations/compiler/console/log_conditional.out
@@ -7,4 +7,4 @@ outputs:
       - initial_input_ast: 518590e47d3c1eefd56a4b20dee801e1149974bbec280afed58a8c1960b74485
     initial_ast: 5a8395f339c4e2c3614c478fb3bd1841f4fb711aa60c39b94c6576c2788a7354
     unrolled_ast: 5a8395f339c4e2c3614c478fb3bd1841f4fb711aa60c39b94c6576c2788a7354
-    ssa_ast: 8419ecf2a7b726168125ef25694c4a6ebd0d6a2571d76e86f1f47ac9ad43ebfb
+    ssa_ast: e7d52a59e25fe61e60bf751a80312b40e46c1d67e1bfc442643bf0a87ef22569
diff --git a/tests/expectations/compiler/core/algorithms/bhp1024_commit.out b/tests/expectations/compiler/core/algorithms/bhp1024_commit.out
index d898796e39..82e0122136 100644
--- a/tests/expectations/compiler/core/algorithms/bhp1024_commit.out
+++ b/tests/expectations/compiler/core/algorithms/bhp1024_commit.out
@@ -6,4 +6,4 @@ outputs:
       - initial_input_ast: 43992721d507407a33d10f3afff1a090bb2ec0471e95e575f24cefc1fc7bf2ff
     initial_ast: cd6f620d1b50c366e79eaa9b4a80bd9ce6060239cb2ae5c2eb241b8206e52f01
     unrolled_ast: cd6f620d1b50c366e79eaa9b4a80bd9ce6060239cb2ae5c2eb241b8206e52f01
-    ssa_ast: adc36eeb066e9f93098d6f7a46a0a7746d927e4b53df15b76326d1e027a365d8
+    ssa_ast: 460516746a59780de3935221797c236a7bad2e475a8078a30a809403c67836ae
diff --git a/tests/expectations/compiler/core/algorithms/bhp1024_hash.out b/tests/expectations/compiler/core/algorithms/bhp1024_hash.out
index 5aef087977..8a3a104bb0 100644
--- a/tests/expectations/compiler/core/algorithms/bhp1024_hash.out
+++ b/tests/expectations/compiler/core/algorithms/bhp1024_hash.out
@@ -6,4 +6,4 @@ outputs:
       - initial_input_ast: 4e49ec4d638b46ab5f86cdc3a490f0a9074ed71065bfe39e4c3400fa7e7d729b
     initial_ast: af858f851dfec04c4d206755aa91b0ab701a13cbffa77a88c93a7a6a4483ebf3
     unrolled_ast: af858f851dfec04c4d206755aa91b0ab701a13cbffa77a88c93a7a6a4483ebf3
-    ssa_ast: bcd928bfa64b5df16d952fe857584ca05c9da3cbb598d0252ef312e35f2b6e1e
+    ssa_ast: 9adff39c81008da0d1152fe1f8bca8d1c106e793fafbc05ba3778c351b2ea391
diff --git a/tests/expectations/compiler/core/algorithms/bhp256_commit.out b/tests/expectations/compiler/core/algorithms/bhp256_commit.out
index 2020c1189b..beebe72081 100644
--- a/tests/expectations/compiler/core/algorithms/bhp256_commit.out
+++ b/tests/expectations/compiler/core/algorithms/bhp256_commit.out
@@ -6,4 +6,4 @@ outputs:
       - initial_input_ast: e57e2971deec32a3b718fd4acc86c7d71fc2acbdba6c81f28c2a510b3fa64947
     initial_ast: 0f356614fca7d35440b1c677d973a166009b0b2e8c09ec6445f542dd5baaddd9
     unrolled_ast: 0f356614fca7d35440b1c677d973a166009b0b2e8c09ec6445f542dd5baaddd9
-    ssa_ast: fa2ff20c3103ea3ee5af433e82764c54b38a4eaf87f978c19fba55a519559715
+    ssa_ast: a11cb24779cce1859966931b08208aaa9cd8db6cdceb7f7e27246678a92ff748
diff --git a/tests/expectations/compiler/core/algorithms/bhp256_hash.out b/tests/expectations/compiler/core/algorithms/bhp256_hash.out
index 3643fc8da6..4e75db6322 100644
--- a/tests/expectations/compiler/core/algorithms/bhp256_hash.out
+++ b/tests/expectations/compiler/core/algorithms/bhp256_hash.out
@@ -6,4 +6,4 @@ outputs:
       - initial_input_ast: a76e3cbec17567bc7e5f8377c10fd50c145ab29ef6f915dd867c398412d9715b
     initial_ast: d62b24b6e20445b7a669320bc023d2f8f74ae3dfeaf4cba935760e11b5b98ff1
     unrolled_ast: d62b24b6e20445b7a669320bc023d2f8f74ae3dfeaf4cba935760e11b5b98ff1
-    ssa_ast: 30f29dd214135e6a1c31c6b89b359e865549075bb3653a35ab7cac1e74eb33f0
+    ssa_ast: 5b29bf98344df84d0fcf41e0c10c64f1eddff792260c3f0104ef2a20834a9001
diff --git a/tests/expectations/compiler/core/algorithms/bhp512_commit.out b/tests/expectations/compiler/core/algorithms/bhp512_commit.out
index 7eab8ffc5a..7b2d343455 100644
--- a/tests/expectations/compiler/core/algorithms/bhp512_commit.out
+++ b/tests/expectations/compiler/core/algorithms/bhp512_commit.out
@@ -6,4 +6,4 @@ outputs:
       - initial_input_ast: e57e2971deec32a3b718fd4acc86c7d71fc2acbdba6c81f28c2a510b3fa64947
     initial_ast: 2bd84fb0d42145c35bd237786c3bc551047c7e07d93007adc5c660c3cc81e00b
     unrolled_ast: 2bd84fb0d42145c35bd237786c3bc551047c7e07d93007adc5c660c3cc81e00b
-    ssa_ast: b4b4c3bf9df004da6fc410bd547b38c78593845bfecab82e46ba804d769ea6c6
+    ssa_ast: 393594ff11f2cda5ba5ca5f4638dfc1b976cbced62c26414cb6f3787bc59650b
diff --git a/tests/expectations/compiler/core/algorithms/bhp512_hash.out b/tests/expectations/compiler/core/algorithms/bhp512_hash.out
index a461a0e368..a24f95a7bc 100644
--- a/tests/expectations/compiler/core/algorithms/bhp512_hash.out
+++ b/tests/expectations/compiler/core/algorithms/bhp512_hash.out
@@ -6,4 +6,4 @@ outputs:
       - initial_input_ast: a76e3cbec17567bc7e5f8377c10fd50c145ab29ef6f915dd867c398412d9715b
     initial_ast: ebf8a008fb067b77d7483defca92ecfddd245f73f62470d99b06c4f82c7ef4fd
     unrolled_ast: ebf8a008fb067b77d7483defca92ecfddd245f73f62470d99b06c4f82c7ef4fd
-    ssa_ast: ab0ce952330504480743ae648e1f75265cc590735a6305cadeb9e87e891328f1
+    ssa_ast: 0ff15ecd2fe1e688bf2de9ca9ce5d28fbef3eb96d4277a1e8e907b5418e5fc56
diff --git a/tests/expectations/compiler/core/algorithms/bhp768_commit.out b/tests/expectations/compiler/core/algorithms/bhp768_commit.out
index 77e9a84285..9e786a05ff 100644
--- a/tests/expectations/compiler/core/algorithms/bhp768_commit.out
+++ b/tests/expectations/compiler/core/algorithms/bhp768_commit.out
@@ -6,4 +6,4 @@ outputs:
       - initial_input_ast: e57e2971deec32a3b718fd4acc86c7d71fc2acbdba6c81f28c2a510b3fa64947
     initial_ast: c6609dd05a455d442e77e74d9674fe0b78f058ea7d39bd613cd0a3ed1fa8b737
     unrolled_ast: c6609dd05a455d442e77e74d9674fe0b78f058ea7d39bd613cd0a3ed1fa8b737
-    ssa_ast: 07a8ef2b38088733016dfad26fbe7dde7db59b0c705595ff3f317aa65342c2e3
+    ssa_ast: 713254e721a386bf17b91ae94815d344cb0e1e186b05dfbd8b976da2555c6bf7
diff --git a/tests/expectations/compiler/core/algorithms/bhp768_hash.out b/tests/expectations/compiler/core/algorithms/bhp768_hash.out
index 7344770505..e8c4da6b23 100644
--- a/tests/expectations/compiler/core/algorithms/bhp768_hash.out
+++ b/tests/expectations/compiler/core/algorithms/bhp768_hash.out
@@ -6,4 +6,4 @@ outputs:
       - initial_input_ast: a76e3cbec17567bc7e5f8377c10fd50c145ab29ef6f915dd867c398412d9715b
     initial_ast: 253c0b07c4c4dbe54760158ff1d49636694e544805c492182bdea4868c8fbc10
     unrolled_ast: 253c0b07c4c4dbe54760158ff1d49636694e544805c492182bdea4868c8fbc10
-    ssa_ast: 7c0c4ee59f073c6a8cd66ff1c169c28afa55d8b12dbd3f200f4db7235766a5f8
+    ssa_ast: 835158424ce3d9b44cfa2a14e1e9b2bec1d2fbe245f4b17906bfa171242b4357
diff --git a/tests/expectations/compiler/core/algorithms/pedersen128_hash.out b/tests/expectations/compiler/core/algorithms/pedersen128_hash.out
index 4f80fbf147..913417bd52 100644
--- a/tests/expectations/compiler/core/algorithms/pedersen128_hash.out
+++ b/tests/expectations/compiler/core/algorithms/pedersen128_hash.out
@@ -6,4 +6,4 @@ outputs:
       - initial_input_ast: 2b3b80f8bbbc37a19b90063fc5aef3ede42acae5cd7c283e112de1f9379cb3ff
     initial_ast: 205bd154440ab96e5dece07a2502163fa5af0c71fdd77de5a63701c5f1253321
     unrolled_ast: 205bd154440ab96e5dece07a2502163fa5af0c71fdd77de5a63701c5f1253321
-    ssa_ast: ab7e3c6d95dec88c9c98dc3632dee793473b45bbc3c6983385ff6507545f4051
+    ssa_ast: 05c7ffce246d0327645a88a24a01bad8a8aa2fdb99cd2d6b08857fd055f17f69
diff --git a/tests/expectations/compiler/core/algorithms/pedersen64_hash.out b/tests/expectations/compiler/core/algorithms/pedersen64_hash.out
index 90fd527c57..5822c5fe0c 100644
--- a/tests/expectations/compiler/core/algorithms/pedersen64_hash.out
+++ b/tests/expectations/compiler/core/algorithms/pedersen64_hash.out
@@ -6,4 +6,4 @@ outputs:
       - initial_input_ast: f037dfade413579955a2e52e6e96b71427af03d7defe97d47df88b0c73ca3690
     initial_ast: ca217c6f3aea50ceb8950ca5800e024aed65541460d32e4525b786297a35badf
     unrolled_ast: ca217c6f3aea50ceb8950ca5800e024aed65541460d32e4525b786297a35badf
-    ssa_ast: ab62f40e95b4688b42c64827d93fd2042a51a1eca42e60043aee68ce450b7d28
+    ssa_ast: fbf68197740665762e53fe739fc22ba921785e1aeba945c9f0093fc7a9f2fd43
diff --git a/tests/expectations/compiler/core/algorithms/poseidon2_hash.out b/tests/expectations/compiler/core/algorithms/poseidon2_hash.out
index 7b4618d24e..8a6f840309 100644
--- a/tests/expectations/compiler/core/algorithms/poseidon2_hash.out
+++ b/tests/expectations/compiler/core/algorithms/poseidon2_hash.out
@@ -6,4 +6,4 @@ outputs:
       - initial_input_ast: 8c4833854e62c3d51519f2858909f9c64e9864a11f55a82c8f7e7f6bd02fa823
     initial_ast: 1861d68bda8e64e4407e6da2418d6133bd032cbe454b400403ac1541ef5a38b2
     unrolled_ast: 1861d68bda8e64e4407e6da2418d6133bd032cbe454b400403ac1541ef5a38b2
-    ssa_ast: cebf47e8504b465efe0955fc9f13c0f491c4b9356e3ab4eab01bd19ea1bce4f0
+    ssa_ast: 97480918a106fea32ce19bced3ec6bb4516e29ad928826729cc32df5601e80eb
diff --git a/tests/expectations/compiler/core/algorithms/poseidon4_hash.out b/tests/expectations/compiler/core/algorithms/poseidon4_hash.out
index e465b52589..5cfea5b92b 100644
--- a/tests/expectations/compiler/core/algorithms/poseidon4_hash.out
+++ b/tests/expectations/compiler/core/algorithms/poseidon4_hash.out
@@ -6,4 +6,4 @@ outputs:
       - initial_input_ast: 8c4833854e62c3d51519f2858909f9c64e9864a11f55a82c8f7e7f6bd02fa823
     initial_ast: 6dbc7a6ea98ab36210dbe32f1d1e1634491d9c04ac5865ac1e3f486447f5f329
     unrolled_ast: 6dbc7a6ea98ab36210dbe32f1d1e1634491d9c04ac5865ac1e3f486447f5f329
-    ssa_ast: 3a75ccf6bf75807625b109b6d355c1e174e535423fc459a1f3e40c4a21bac69c
+    ssa_ast: bdbec8dc3f59954988a07ca7853ccb0982a8673ddb09f2f36a4ccfd005b786a6
diff --git a/tests/expectations/compiler/core/algorithms/poseidon8_hash.out b/tests/expectations/compiler/core/algorithms/poseidon8_hash.out
index fad3f76dac..cf4e2fcd11 100644
--- a/tests/expectations/compiler/core/algorithms/poseidon8_hash.out
+++ b/tests/expectations/compiler/core/algorithms/poseidon8_hash.out
@@ -6,4 +6,4 @@ outputs:
       - initial_input_ast: 8c4833854e62c3d51519f2858909f9c64e9864a11f55a82c8f7e7f6bd02fa823
     initial_ast: 1ad15ca1e28d97305f3c1bdf0ee7fdd32ab3623b08c4934545adeb56463fd0ef
     unrolled_ast: 1ad15ca1e28d97305f3c1bdf0ee7fdd32ab3623b08c4934545adeb56463fd0ef
-    ssa_ast: e45655b1366216d7e988246ff7ba08f937754f074b491d91cc5d81be5708f084
+    ssa_ast: 4a6b3f37df80c57ba14b9f579106707f3a025102a9cd0b151828145a03a3f222
diff --git a/tests/expectations/compiler/field/field.out b/tests/expectations/compiler/field/field.out
index 0068510cbb..14168f15ca 100644
--- a/tests/expectations/compiler/field/field.out
+++ b/tests/expectations/compiler/field/field.out
@@ -6,4 +6,4 @@ outputs:
       - initial_input_ast: 1bd243c2ca8a51ee50f45823a283d506ee506e168e5332af8c271ef6b52468a4
     initial_ast: 8f3291c9f247ef9d6d7a216facefa57f7656f81c66dd54ca5596ca4c2b790c3f
     unrolled_ast: 8f3291c9f247ef9d6d7a216facefa57f7656f81c66dd54ca5596ca4c2b790c3f
-    ssa_ast: 5c6c001e4d5e121e95a9604b7b5c8530035534df02b02e4a7b2327c936241135
+    ssa_ast: d4e912e1838c1a86320d4b238fb1e1d03c2d9cb84e13053cdeed5a4e5ddd617a
diff --git a/tests/expectations/compiler/field/operator_methods.out b/tests/expectations/compiler/field/operator_methods.out
index a6cf6fb9cb..36e4f2aca8 100644
--- a/tests/expectations/compiler/field/operator_methods.out
+++ b/tests/expectations/compiler/field/operator_methods.out
@@ -6,4 +6,4 @@ outputs:
       - initial_input_ast: ea8e9817122af3fa825b175438a1af4943d31c5c893a3af31b96964f80ec5850
     initial_ast: 94ddaffb90130b95f8b0657c2453564172fcdd78e5a4857bbf443ad01edfcc82
     unrolled_ast: 94ddaffb90130b95f8b0657c2453564172fcdd78e5a4857bbf443ad01edfcc82
-    ssa_ast: 6ba671bd7c56772b4188aa649be9d73f622135f19b6c90226f4adee9dc2783a6
+    ssa_ast: 6667f55eecf592cb61cc723503b315476d5b2419618c62ca390d5b061e49df88
diff --git a/tests/expectations/compiler/field/pow.out b/tests/expectations/compiler/field/pow.out
index b67f1a2c03..96ebd50d21 100644
--- a/tests/expectations/compiler/field/pow.out
+++ b/tests/expectations/compiler/field/pow.out
@@ -6,4 +6,4 @@ outputs:
       - initial_input_ast: 30267abd65849fc218532e602d0e60eefb1dd235972106400258e3d9e54c2c10
     initial_ast: 22a2f4609c5fa53703714db784cf6028eb8a197e2ee9ccfaf5cf21de45bc64c8
     unrolled_ast: 22a2f4609c5fa53703714db784cf6028eb8a197e2ee9ccfaf5cf21de45bc64c8
-    ssa_ast: a35c482fca577563f7cfc5f55c81e0262b4ec83384f555b624f50ff31ddb0967
+    ssa_ast: bb6625653ce37081e3d12b4d665ead6bc625acaf67e0010858f34dbf1eaa553d
diff --git a/tests/expectations/compiler/function/conditional_return.out b/tests/expectations/compiler/function/conditional_return.out
index f776408d3d..af9756c08c 100644
--- a/tests/expectations/compiler/function/conditional_return.out
+++ b/tests/expectations/compiler/function/conditional_return.out
@@ -6,4 +6,4 @@ outputs:
       - initial_input_ast: fd4851f6581155b1e1f63488d141006413b52e2df042673193e838813134c8f8
     initial_ast: 3b2b884072048267d8433cb3d0d720823fe591c776066d13b4f433468808eef1
     unrolled_ast: 3b2b884072048267d8433cb3d0d720823fe591c776066d13b4f433468808eef1
-    ssa_ast: 162f47220db7211933cea796a0161f7805bd01829d3050da42ccd3cfc3dfccfe
+    ssa_ast: e70d9df3b0cff002906ea599cb7c8873972d65fa5b3b7011f769fc496ff52b79
diff --git a/tests/expectations/compiler/group/group_mul.out b/tests/expectations/compiler/group/group_mul.out
index 0a69383467..71f765bae0 100644
--- a/tests/expectations/compiler/group/group_mul.out
+++ b/tests/expectations/compiler/group/group_mul.out
@@ -6,4 +6,4 @@ outputs:
       - initial_input_ast: 66b7c5856db24994113cd4b094c52c941630f0f4923eb13891a40f9bf9f49d53
     initial_ast: dd176e31e863225989c42e10f34e3a26b192cc955f1f16c3acefa5f3caefcfcd
     unrolled_ast: dd176e31e863225989c42e10f34e3a26b192cc955f1f16c3acefa5f3caefcfcd
-    ssa_ast: ca3add384b6ef6d6fdc02be39c43233ba4fdc11a27446d834dba9f4ad70d6426
+    ssa_ast: 8d5cb67122538bda563f1d042d43586b64ef6d3787792ab7c8f96cbe5d2279f0
diff --git a/tests/expectations/compiler/group/operator_methods.out b/tests/expectations/compiler/group/operator_methods.out
index 12f9ff3975..27ce2aa24f 100644
--- a/tests/expectations/compiler/group/operator_methods.out
+++ b/tests/expectations/compiler/group/operator_methods.out
@@ -6,4 +6,4 @@ outputs:
       - initial_input_ast: 42e1554b8e61a0b38abc274aa0948ce145779aa163012954b2577081fd9b6310
     initial_ast: 0649008eaf4726ea03ca077a89d425015fb4f8f58c7b7323c67258cd94498597
     unrolled_ast: 0649008eaf4726ea03ca077a89d425015fb4f8f58c7b7323c67258cd94498597
-    ssa_ast: 36ebab5195b17819aab330c0bc300add306509a0803990213eb12c437d06c113
+    ssa_ast: 8e202c30373c700fd228184e62e81fcceacc84a2af061aef632752d218381f4f
diff --git a/tests/expectations/compiler/group/ternary.out b/tests/expectations/compiler/group/ternary.out
index 15b07229c4..429b50b4a6 100644
--- a/tests/expectations/compiler/group/ternary.out
+++ b/tests/expectations/compiler/group/ternary.out
@@ -6,4 +6,4 @@ outputs:
       - initial_input_ast: 336580f3b1cd3da7ee881c492da25d869813eeaf9391a97b828ebdc259dca85d
     initial_ast: 052a82045ab5471f2f5bd6e1d881de7072a37c220b305e4f5a997b1a20945faa
     unrolled_ast: 052a82045ab5471f2f5bd6e1d881de7072a37c220b305e4f5a997b1a20945faa
-    ssa_ast: 7c6d94d75277ba1b0259bd3d700e59657e1984f14b74f9df48a62a42219692ab
+    ssa_ast: 2b482b48084d626c4219d8d9f1d8c9aaaa9b958b21e5cd20ab367282db56e97b
diff --git a/tests/expectations/compiler/group/x_and_y.out b/tests/expectations/compiler/group/x_and_y.out
index e62fe417f6..30f2391e14 100644
--- a/tests/expectations/compiler/group/x_and_y.out
+++ b/tests/expectations/compiler/group/x_and_y.out
@@ -6,4 +6,4 @@ outputs:
       - initial_input_ast: 6d52d239556a3f5040f33f7d915a1936af5c2517f075bcfdff81310bbe111e2d
     initial_ast: 0cc5f7329d6d91dea48eb7f1a574d3b95288a66918658b71221a376dc5c7fce6
     unrolled_ast: 0cc5f7329d6d91dea48eb7f1a574d3b95288a66918658b71221a376dc5c7fce6
-    ssa_ast: a638729744a22712136684d8e12ff7e69ff6d4fc895ff666ec91406d5ddfa1a1
+    ssa_ast: 7c204b318dcc04f236724897b085a9a034d1d846adf2afc6fb00d85d0bc2e6fa
diff --git a/tests/expectations/compiler/group/x_sign_high.out b/tests/expectations/compiler/group/x_sign_high.out
index 074a50a5de..75c6410dd7 100644
--- a/tests/expectations/compiler/group/x_sign_high.out
+++ b/tests/expectations/compiler/group/x_sign_high.out
@@ -6,4 +6,4 @@ outputs:
       - initial_input_ast: cab4ec0e19e08134d51cd4c8546d13a6a0848c3d783e376473512ae558155443
     initial_ast: 12178b4e76a9a011b5bf629c48135cc1857a219d539dfccf4c279a9301b5ee42
     unrolled_ast: 12178b4e76a9a011b5bf629c48135cc1857a219d539dfccf4c279a9301b5ee42
-    ssa_ast: 50cbfd63b2acd43e88b7181c6ad0c2c65a84d13c05c2689de1acf9f14f64e69b
+    ssa_ast: b46d6918c9f83006bb1dce22a2db99d6fe4a120ca1d8b20ea3bc800fbca73fab
diff --git a/tests/expectations/compiler/group/x_sign_inferred.out b/tests/expectations/compiler/group/x_sign_inferred.out
index 068aee7928..ebf8ae6001 100644
--- a/tests/expectations/compiler/group/x_sign_inferred.out
+++ b/tests/expectations/compiler/group/x_sign_inferred.out
@@ -6,4 +6,4 @@ outputs:
       - initial_input_ast: cab4ec0e19e08134d51cd4c8546d13a6a0848c3d783e376473512ae558155443
     initial_ast: c0c8b02c47e6a9a1d0202fa7eb929caac208d8cd89c8ad44aa2277543d5525c7
     unrolled_ast: c0c8b02c47e6a9a1d0202fa7eb929caac208d8cd89c8ad44aa2277543d5525c7
-    ssa_ast: 1300592eea1098693efc5d4bc3de424ebe027c77346f26ede651da564562aa76
+    ssa_ast: 4a290b56eeab5a5e72a1429d20359640881b81c06ccbbb8783e36c641ad1bc30
diff --git a/tests/expectations/compiler/group/x_sign_low.out b/tests/expectations/compiler/group/x_sign_low.out
index 2d402bf03c..da8fcce49c 100644
--- a/tests/expectations/compiler/group/x_sign_low.out
+++ b/tests/expectations/compiler/group/x_sign_low.out
@@ -6,4 +6,4 @@ outputs:
       - initial_input_ast: cab4ec0e19e08134d51cd4c8546d13a6a0848c3d783e376473512ae558155443
     initial_ast: e0ab1f81d67b0ca8e64cf9089ef2ff69e80bfbd9864f6b4bdaa8933336b4a4fa
     unrolled_ast: e0ab1f81d67b0ca8e64cf9089ef2ff69e80bfbd9864f6b4bdaa8933336b4a4fa
-    ssa_ast: 23465cb3a5f6f924ef018896f02462077409daec192e002e49f6594a7fe8ba16
+    ssa_ast: ece44cf038ac35153919a9826e7140e70cbce79a8ac8b831bf07264b35e154d5
diff --git a/tests/expectations/compiler/group/zero.out b/tests/expectations/compiler/group/zero.out
index 593fe35d3c..7aa5729535 100644
--- a/tests/expectations/compiler/group/zero.out
+++ b/tests/expectations/compiler/group/zero.out
@@ -6,4 +6,4 @@ outputs:
       - initial_input_ast: a220b4ebad69e490bf4a2471e4c4ecde9207f9806df90c3ba99f7f77d99eb97f
     initial_ast: 36b6abeb380c011b7d80985183c34b265d0438c2f2696d81db169d4d48fd3af3
     unrolled_ast: 36b6abeb380c011b7d80985183c34b265d0438c2f2696d81db169d4d48fd3af3
-    ssa_ast: 67b3f7e0b88b14317da58a0fc20562f47ac9991c681f16c862f70924cf395270
+    ssa_ast: 5da46a91223de5098749bf4144513bf8cc2b37f8d4a6b31e3a42382387179651
diff --git a/tests/expectations/compiler/integers/i128/console_assert.out b/tests/expectations/compiler/integers/i128/console_assert.out
index 6e3b4b9a93..892ac7fe89 100644
--- a/tests/expectations/compiler/integers/i128/console_assert.out
+++ b/tests/expectations/compiler/integers/i128/console_assert.out
@@ -6,4 +6,4 @@ outputs:
       - initial_input_ast: a9d656cd719217c9df4fe73c1f6293aa89575e8c2f7d5e89a48c2c292a3e5e06
     initial_ast: 5ab8123c554f609d580bdfe6594f1d21d4a8cea0c5acbd31b019a2502c0187c4
     unrolled_ast: 5ab8123c554f609d580bdfe6594f1d21d4a8cea0c5acbd31b019a2502c0187c4
-    ssa_ast: 13bb66b23646ef1fb357e487ab609f33519405d09d5619095f4d397ba8cb80bf
+    ssa_ast: 91c2aa12786c1eaa46d3b8198e19c4e0c4205ed5993a19368dd5e0e87ba4b55c
diff --git a/tests/expectations/compiler/integers/i128/max.out b/tests/expectations/compiler/integers/i128/max.out
index 515e569965..0b35b81f07 100644
--- a/tests/expectations/compiler/integers/i128/max.out
+++ b/tests/expectations/compiler/integers/i128/max.out
@@ -6,4 +6,4 @@ outputs:
       - initial_input_ast: 0c988849087349f8f3fc79a2992efbb2d085c528c76f92f323efb856d678170c
     initial_ast: 127bd2f2dfc26310382ac2a45b3001e9f8a79f3fd9c6fcaaf03083fd59acf947
     unrolled_ast: 127bd2f2dfc26310382ac2a45b3001e9f8a79f3fd9c6fcaaf03083fd59acf947
-    ssa_ast: 8f0d226670b43779021da5374969779677bcf30c9896246a00daa26ed7b029a8
+    ssa_ast: fded1c4ff0a5c5adc5b286631206948b74639e304fff76ae5d3cab8c1b0992b6
diff --git a/tests/expectations/compiler/integers/i128/min.out b/tests/expectations/compiler/integers/i128/min.out
index abfed9ba85..e0709c97f0 100644
--- a/tests/expectations/compiler/integers/i128/min.out
+++ b/tests/expectations/compiler/integers/i128/min.out
@@ -6,4 +6,4 @@ outputs:
       - initial_input_ast: 42d3d2a95ecf42808533fc38c7765957dd86f6d84679e6db05141f14078d1723
     initial_ast: a835c5cdf987d342c5fe92633a62939a513b7135acb8b0a7caafd369b3f197ff
     unrolled_ast: a835c5cdf987d342c5fe92633a62939a513b7135acb8b0a7caafd369b3f197ff
-    ssa_ast: 5e5565e081a7e1034289402b0436e3d05b9e644490fdbd7cb42eb20e112269fa
+    ssa_ast: 646087bb3a3332f84128e3f123ddadad7861447132e3060feeca1cd039b34cab
diff --git a/tests/expectations/compiler/integers/i128/negate_zero.out b/tests/expectations/compiler/integers/i128/negate_zero.out
index 21d8e27015..e058937eb3 100644
--- a/tests/expectations/compiler/integers/i128/negate_zero.out
+++ b/tests/expectations/compiler/integers/i128/negate_zero.out
@@ -6,4 +6,4 @@ outputs:
       - initial_input_ast: 5b85c589bd5729444d6aad8fa52e8f17f93b026a8e3991766fa304ed7a57aa78
     initial_ast: 09bcefee1e16874bfc4b1ff8722756e23d67135e2fd56014ed1905ba33936ed6
     unrolled_ast: 09bcefee1e16874bfc4b1ff8722756e23d67135e2fd56014ed1905ba33936ed6
-    ssa_ast: a3b33f2114db7b95ce2f73a064de9e42b5661ec7e238c7f216e9f1fafe65f47d
+    ssa_ast: 47309b2dadcacb59e23ecce52f295b04d832483bd2c597fe456c5288e426337f
diff --git a/tests/expectations/compiler/integers/i128/operator_methods.out b/tests/expectations/compiler/integers/i128/operator_methods.out
index e829e47dc6..6620ac4983 100644
--- a/tests/expectations/compiler/integers/i128/operator_methods.out
+++ b/tests/expectations/compiler/integers/i128/operator_methods.out
@@ -6,4 +6,4 @@ outputs:
       - initial_input_ast: 61eac183bae63ae8192f044c59a37feaea409f56b8c3c93bdeb00b8fb2e7dfb1
     initial_ast: 72b63e1fa3e176c6171fc99a7745cca6499f1282f53818e02d5397848e8a7ee2
     unrolled_ast: 72b63e1fa3e176c6171fc99a7745cca6499f1282f53818e02d5397848e8a7ee2
-    ssa_ast: 3cc3053847bb3d0d89651e6bc21311a035b053c003d3bd5a9a74d854d0f68491
+    ssa_ast: a5ecd348910ca4785a4f5754e4b5b45ab43742b2693556fd1648de0c47efc2cc
diff --git a/tests/expectations/compiler/integers/i128/ternary.out b/tests/expectations/compiler/integers/i128/ternary.out
index 139524b83c..8dd19412c7 100644
--- a/tests/expectations/compiler/integers/i128/ternary.out
+++ b/tests/expectations/compiler/integers/i128/ternary.out
@@ -7,4 +7,4 @@ outputs:
       - initial_input_ast: 7be5155718612a25f8eadba1a6e8cde45c7806ce99f4ede89a7a5acdfc5966ca
     initial_ast: 9146d98fbb82e6e0321a9a630b940993910aa29648c153be7a2330b95ae01e4e
     unrolled_ast: 9146d98fbb82e6e0321a9a630b940993910aa29648c153be7a2330b95ae01e4e
-    ssa_ast: 349d2c572807cd5623cf32765366ec3c8f2a61ae8498197a067af869b13217a3
+    ssa_ast: d7a6af105d6e8b4d0b2a0b6f452b97a6b9cfb52b7813d591c8a756f801267db4
diff --git a/tests/expectations/compiler/integers/i16/console_assert.out b/tests/expectations/compiler/integers/i16/console_assert.out
index 47589bbd79..b812a4eeb1 100644
--- a/tests/expectations/compiler/integers/i16/console_assert.out
+++ b/tests/expectations/compiler/integers/i16/console_assert.out
@@ -6,4 +6,4 @@ outputs:
       - initial_input_ast: 9986979e83203ebe5400f735d48cbeb65142f8b858a3b604c99b6e5d6bfeb167
     initial_ast: 0cff7268ed011d4658fe162cd2c788c79411970f36654341a486ddcae583d78f
     unrolled_ast: 0cff7268ed011d4658fe162cd2c788c79411970f36654341a486ddcae583d78f
-    ssa_ast: 06e13822a8a8b3b88373bd84244e92452861921e281b96b57028219b2c1c6fad
+    ssa_ast: ffdf060169c4a8c92815c0a33f18c07d770a4ee6cc3686ca8a95e90927998c46
diff --git a/tests/expectations/compiler/integers/i16/max.out b/tests/expectations/compiler/integers/i16/max.out
index cb0a82533c..af4e440c6c 100644
--- a/tests/expectations/compiler/integers/i16/max.out
+++ b/tests/expectations/compiler/integers/i16/max.out
@@ -6,4 +6,4 @@ outputs:
       - initial_input_ast: 804fee09bda9b498b193d0fbc9654f078fa9fb09fd02f6ffe94d05d71ade52af
     initial_ast: 38f1802cc79a6fba93c5ffb3d6361e68cbdb5dd66f7f01e9d6166ba4894e5d29
     unrolled_ast: 38f1802cc79a6fba93c5ffb3d6361e68cbdb5dd66f7f01e9d6166ba4894e5d29
-    ssa_ast: 0b711d531cbec89a31177b2f92a63aee9c5db1112f088fbcf7b0007df73fd761
+    ssa_ast: e786d750aa26fb6399a1311c9afd31d20e56d990a34eb0343cb63b21c257b7e1
diff --git a/tests/expectations/compiler/integers/i16/min.out b/tests/expectations/compiler/integers/i16/min.out
index d5a564af1e..28cbf00cb6 100644
--- a/tests/expectations/compiler/integers/i16/min.out
+++ b/tests/expectations/compiler/integers/i16/min.out
@@ -6,4 +6,4 @@ outputs:
       - initial_input_ast: 41447babe412945bcb82a83876bfbf13a49da1bd175909bd66def5f983abc0fa
     initial_ast: ac2f6713a2372926514109f4800b95a371cb90f374c033872b5f3a72e065cd35
     unrolled_ast: ac2f6713a2372926514109f4800b95a371cb90f374c033872b5f3a72e065cd35
-    ssa_ast: c000e709f7f5b1c23767e9754e1842bdffbcfb07012de214fd4d9add08a94bcb
+    ssa_ast: c48dbcb655e0324971cc1dcec072fdd2608905a14aaa3df1c772d2ea0491de0b
diff --git a/tests/expectations/compiler/integers/i16/negate_zero.out b/tests/expectations/compiler/integers/i16/negate_zero.out
index 19e50ed94c..7c53eab7a7 100644
--- a/tests/expectations/compiler/integers/i16/negate_zero.out
+++ b/tests/expectations/compiler/integers/i16/negate_zero.out
@@ -6,4 +6,4 @@ outputs:
       - initial_input_ast: d7efb950b283e8043cb74d699f193749324f2fb6714df5fde527c348f849a179
     initial_ast: 3c4c8b83883cb5eddce9517ff14019f6c6cc6febc6665c68f9c81c9f0b258b3c
     unrolled_ast: 3c4c8b83883cb5eddce9517ff14019f6c6cc6febc6665c68f9c81c9f0b258b3c
-    ssa_ast: 1612ce434b4e5e53d4af0cb2efb0a735bf35825d861014b4c44ffe30b454f441
+    ssa_ast: 6ded6b7f235aba8f94823a70c697438ad00658ca160283965387ed3ac43a7b2a
diff --git a/tests/expectations/compiler/integers/i16/operator_methods.out b/tests/expectations/compiler/integers/i16/operator_methods.out
index 7b3b27dead..8b599c988d 100644
--- a/tests/expectations/compiler/integers/i16/operator_methods.out
+++ b/tests/expectations/compiler/integers/i16/operator_methods.out
@@ -6,4 +6,4 @@ outputs:
       - initial_input_ast: ecb03a6467deb3712193feffc2b7d3af04442b075671ecfaf36e932162a86e2a
     initial_ast: 72ee05afa4686d5a470bbadb0c4e08fb3133926b3139ec0df55399c605dd5044
     unrolled_ast: 72ee05afa4686d5a470bbadb0c4e08fb3133926b3139ec0df55399c605dd5044
-    ssa_ast: 5bb05e5360f0a4a3a114054c0ea7c11802d8a4540c8547ef066aec559ded2b15
+    ssa_ast: 767ac8c9e5b8a755bafc956d727d9adce7a38faf8075fcbb7807689088718d3e
diff --git a/tests/expectations/compiler/integers/i16/ternary.out b/tests/expectations/compiler/integers/i16/ternary.out
index 43a6c5a215..70e4d1f214 100644
--- a/tests/expectations/compiler/integers/i16/ternary.out
+++ b/tests/expectations/compiler/integers/i16/ternary.out
@@ -7,4 +7,4 @@ outputs:
       - initial_input_ast: 501a8b159c09d956d26e8665e582bb1a4cc603fad380e52f2132ddbee3034e16
     initial_ast: 605cd8f4935087f09446a44b168198286841bf5a075a86bbf674bb79f00b0851
     unrolled_ast: 605cd8f4935087f09446a44b168198286841bf5a075a86bbf674bb79f00b0851
-    ssa_ast: d895dfee5e1a2108600dcfdff3d2228bcc3d62bba300395c484d4f581be90f34
+    ssa_ast: d4768038ab0d620ee070cbee9ca4e34e18a725661e7a3e212a850878a11648aa
diff --git a/tests/expectations/compiler/integers/i32/console_assert.out b/tests/expectations/compiler/integers/i32/console_assert.out
index 279e6a5e46..c89b5600a3 100644
--- a/tests/expectations/compiler/integers/i32/console_assert.out
+++ b/tests/expectations/compiler/integers/i32/console_assert.out
@@ -6,4 +6,4 @@ outputs:
       - initial_input_ast: 39e705a9216291f52ce6053a6f28fa041ba65a79ffd01acd32052cdc9baaaf25
     initial_ast: 0f5309922dfbd54be92ecef3717fedc05acbabdfcd2b0e436b94e992b065db11
     unrolled_ast: 0f5309922dfbd54be92ecef3717fedc05acbabdfcd2b0e436b94e992b065db11
-    ssa_ast: 5453a15f5114c61cbc4296ecc6cc956adc7884843bc26cbce4f68b7dcf935768
+    ssa_ast: fc06fb1b617eef470c2a94023b6d2b71625b93e51cfe25670a3710b1b2292909
diff --git a/tests/expectations/compiler/integers/i32/max.out b/tests/expectations/compiler/integers/i32/max.out
index 6ffe4125f9..b0888094eb 100644
--- a/tests/expectations/compiler/integers/i32/max.out
+++ b/tests/expectations/compiler/integers/i32/max.out
@@ -6,4 +6,4 @@ outputs:
       - initial_input_ast: 257a1001521c3f8c50fa9698a12f1a70220d572fd99002e50f513a60cb09d719
     initial_ast: 879b50bc6c73616c72fe8d4d328b9885e45d312547e8e3fc7ebb4956526d4808
     unrolled_ast: 879b50bc6c73616c72fe8d4d328b9885e45d312547e8e3fc7ebb4956526d4808
-    ssa_ast: 357bcb440be19ff81b3c0020ac95dafd72c7de1b0cf00727aa5424856e62a6ab
+    ssa_ast: b37fa262aa6a16254ac9fd55be8c0ddf4411388c18f9be126d72239ac408cbd8
diff --git a/tests/expectations/compiler/integers/i32/min.out b/tests/expectations/compiler/integers/i32/min.out
index dfb2ebc77a..1f5471fbde 100644
--- a/tests/expectations/compiler/integers/i32/min.out
+++ b/tests/expectations/compiler/integers/i32/min.out
@@ -6,4 +6,4 @@ outputs:
       - initial_input_ast: b4483ea97ae93b05ca67ce2eb626c795b43deb35efbac286bbed4aca4b560861
     initial_ast: f644161dceb21060c338f07124ba790ba97b017096941e5ff6b51e4d3e9722b7
     unrolled_ast: f644161dceb21060c338f07124ba790ba97b017096941e5ff6b51e4d3e9722b7
-    ssa_ast: 994b62eed379c5ee95937164afd905abf204d93a38c022a3eaa03b1209c224c9
+    ssa_ast: b11c58719edbeb142feb1f4f58c3a7104fae69a7364479fa5c89b2f90d75047e
diff --git a/tests/expectations/compiler/integers/i32/negate_zero.out b/tests/expectations/compiler/integers/i32/negate_zero.out
index a97348b10b..ce814b17ef 100644
--- a/tests/expectations/compiler/integers/i32/negate_zero.out
+++ b/tests/expectations/compiler/integers/i32/negate_zero.out
@@ -6,4 +6,4 @@ outputs:
       - initial_input_ast: d7efb950b283e8043cb74d699f193749324f2fb6714df5fde527c348f849a179
     initial_ast: db3369fbc15d20ef7d16625dfd3a4304c911e1b7865516f776c16de83d42fe60
     unrolled_ast: db3369fbc15d20ef7d16625dfd3a4304c911e1b7865516f776c16de83d42fe60
-    ssa_ast: bdf44d2fe0bcef3e645af6e29e09b68ad24650a62eccb95306dc388f539ff98d
+    ssa_ast: 675ee8d8b919d90c1e9626965c6f129a0f49709d6535286218ddb708f742aa7f
diff --git a/tests/expectations/compiler/integers/i32/operator_methods.out b/tests/expectations/compiler/integers/i32/operator_methods.out
index 4b61494108..2cd98a10a1 100644
--- a/tests/expectations/compiler/integers/i32/operator_methods.out
+++ b/tests/expectations/compiler/integers/i32/operator_methods.out
@@ -6,4 +6,4 @@ outputs:
       - initial_input_ast: cb358ee9b480ffb3da9b28826142166b899c35ee2e1db08501cb6b77af8e7cf5
     initial_ast: a9689ec9022d420a6e868010ffa615362727444cd27c4ad96f12ca0efc3e28db
     unrolled_ast: a9689ec9022d420a6e868010ffa615362727444cd27c4ad96f12ca0efc3e28db
-    ssa_ast: 235d1780c264f546ccc20a175f36a8d6f68bfb5016f028eac8ad593911f207e9
+    ssa_ast: 3923daddaaf15c0e03af1ce73cf52e35fde8566bf23c4bc9ae8fab5ea155d15e
diff --git a/tests/expectations/compiler/integers/i32/ternary.out b/tests/expectations/compiler/integers/i32/ternary.out
index 9e70f16078..d5038a0969 100644
--- a/tests/expectations/compiler/integers/i32/ternary.out
+++ b/tests/expectations/compiler/integers/i32/ternary.out
@@ -7,4 +7,4 @@ outputs:
       - initial_input_ast: ec2c6839989988dc1c8e299c62401fc3b9fb5142932db597aa118d513b3e702d
     initial_ast: 1287e489a48316557188db8521745a56c0ec9b32f64af5f4a9b1ded84eabb896
     unrolled_ast: 1287e489a48316557188db8521745a56c0ec9b32f64af5f4a9b1ded84eabb896
-    ssa_ast: ecca8b21598fe1e67996372db5dd2cb61740467df35f8a73e6ab83dfb6f36b43
+    ssa_ast: 66b0044b71e082dea89e12a36f97f500949fd01d0d3addd6aa1cc67f899cbe50
diff --git a/tests/expectations/compiler/integers/i64/console_assert.out b/tests/expectations/compiler/integers/i64/console_assert.out
index 959a7d38b1..28916a689e 100644
--- a/tests/expectations/compiler/integers/i64/console_assert.out
+++ b/tests/expectations/compiler/integers/i64/console_assert.out
@@ -6,4 +6,4 @@ outputs:
       - initial_input_ast: f6c9e2d6a8e9a823ba6a2beb20ffb74e6276c45131e381082c47cf3b022a4534
     initial_ast: 7f9df25ff813674f7dca7f3ad73c44b072b7b17ecca4a414ba8487c53669d631
     unrolled_ast: 7f9df25ff813674f7dca7f3ad73c44b072b7b17ecca4a414ba8487c53669d631
-    ssa_ast: b0e395dd0cd528b41e58367584dfbaa63a50601a9505c12401826fa35ba104ac
+    ssa_ast: f13d071066752ba4587b7586be33e63f01a2cd3873b578d852aca96195d39720
diff --git a/tests/expectations/compiler/integers/i64/max.out b/tests/expectations/compiler/integers/i64/max.out
index 618a3e511e..c095c6ec80 100644
--- a/tests/expectations/compiler/integers/i64/max.out
+++ b/tests/expectations/compiler/integers/i64/max.out
@@ -6,4 +6,4 @@ outputs:
       - initial_input_ast: 81f8d84c4b1c0f7a462567ce341c2e09113d82e3d9dc34712cf9f26048f10678
     initial_ast: 6ba934d78972e708812e8c38fbf1801f9325a0b29fda0df47e5ce648ff6ecf7f
     unrolled_ast: 6ba934d78972e708812e8c38fbf1801f9325a0b29fda0df47e5ce648ff6ecf7f
-    ssa_ast: d536f7916b0312dd95ff866daef0394a7d89e172d7aeb14bfeec1ec7ef359485
+    ssa_ast: 5dd610f417304b401a288ae7109fab3177033edf5c23ad417ad00f0e4e721ed8
diff --git a/tests/expectations/compiler/integers/i64/min.out b/tests/expectations/compiler/integers/i64/min.out
index 1e18f1f84f..4be4efa52c 100644
--- a/tests/expectations/compiler/integers/i64/min.out
+++ b/tests/expectations/compiler/integers/i64/min.out
@@ -6,4 +6,4 @@ outputs:
       - initial_input_ast: b3b2f3490a1151c22fee2d9df5a0d82783701dd70b6c2b4fd9ca3e69490783bb
     initial_ast: e5000099c14e87137d2f2bc669edb80ef9c9827f165147cba121e17db302e9d5
     unrolled_ast: e5000099c14e87137d2f2bc669edb80ef9c9827f165147cba121e17db302e9d5
-    ssa_ast: ca9eec4104541dbf592d7debff8561e3689bb0857a68a11e31f664ed7d459971
+    ssa_ast: 9837dae3084030b34fc9f3cd5c5ad78928ce6481c548d9dfca6aef4f0a01f25f
diff --git a/tests/expectations/compiler/integers/i64/negate_zero.out b/tests/expectations/compiler/integers/i64/negate_zero.out
index 1f9f842585..99c25f35c1 100644
--- a/tests/expectations/compiler/integers/i64/negate_zero.out
+++ b/tests/expectations/compiler/integers/i64/negate_zero.out
@@ -6,4 +6,4 @@ outputs:
       - initial_input_ast: d7efb950b283e8043cb74d699f193749324f2fb6714df5fde527c348f849a179
     initial_ast: 29324e0ab75025298715518a3626006de8cbf3f105a940474bda85dd27c33086
     unrolled_ast: 29324e0ab75025298715518a3626006de8cbf3f105a940474bda85dd27c33086
-    ssa_ast: a5b423f7d2877088d64857f7a1bd486f28992a41c3217ffc07068f69651df631
+    ssa_ast: a912372a7f1477bde5253ebe910dfc8f0f6dabe733e1cf8c162ecd26fc5c4c9e
diff --git a/tests/expectations/compiler/integers/i64/operator_methods.out b/tests/expectations/compiler/integers/i64/operator_methods.out
index d483f49c50..7682ec3c04 100644
--- a/tests/expectations/compiler/integers/i64/operator_methods.out
+++ b/tests/expectations/compiler/integers/i64/operator_methods.out
@@ -6,4 +6,4 @@ outputs:
       - initial_input_ast: ed44bf24f3cbad10f77985da1b969b1ebebfbb35f07b81a83086457d81b7aa08
     initial_ast: 331549161c420dfe744c90f719a2f3b3060304d27af67d245cc27e0ae80c40aa
     unrolled_ast: 331549161c420dfe744c90f719a2f3b3060304d27af67d245cc27e0ae80c40aa
-    ssa_ast: b2eda6eac497f4cd4e2e0735e2e2e39a66d09b2e738199e7a573a1a4f8a9e03d
+    ssa_ast: 372a90588f647276cedb2ce08a01c07f2ef35fbec7e1634f44245ae662fd44e5
diff --git a/tests/expectations/compiler/integers/i64/ternary.out b/tests/expectations/compiler/integers/i64/ternary.out
index 8415b828f3..9e366017b7 100644
--- a/tests/expectations/compiler/integers/i64/ternary.out
+++ b/tests/expectations/compiler/integers/i64/ternary.out
@@ -7,4 +7,4 @@ outputs:
       - initial_input_ast: 7be3058b183b362d35e74fb45d8108ab6156d5183e3c1613cbe0a8a4447e2046
     initial_ast: c2b330171599f08a5537a85cef19995ee929f36f2887471436b6490aaf75edca
     unrolled_ast: c2b330171599f08a5537a85cef19995ee929f36f2887471436b6490aaf75edca
-    ssa_ast: 698e223abaf573a13ad55762c8606ebf3b92e47885157069822b1171f99b17b3
+    ssa_ast: bbc13f12ac125d3da3e2e23d86aa6c52f7528acd0ea7cbf3e288f4beaf3b1702
diff --git a/tests/expectations/compiler/integers/i8/console_assert.out b/tests/expectations/compiler/integers/i8/console_assert.out
index 69609e7d40..ce855b1fd2 100644
--- a/tests/expectations/compiler/integers/i8/console_assert.out
+++ b/tests/expectations/compiler/integers/i8/console_assert.out
@@ -6,4 +6,4 @@ outputs:
       - initial_input_ast: fcc03e535541ac76dd8e75e4fc69b9cd2c897eab2684831b4fb0be3fa9b68d52
     initial_ast: 3302783d02e904c1fd15e973cf6513c8745e7a370a67147fc0d50963468f2184
     unrolled_ast: 3302783d02e904c1fd15e973cf6513c8745e7a370a67147fc0d50963468f2184
-    ssa_ast: c68b8a182d0389bfdbf3e56e14d5f8cf394f1be81a86fb1c3e41c4a17f7465c9
+    ssa_ast: 8a15d2713e1966674c642ad880608eb59edf1eb5968d62dccf346e5c73fe2238
diff --git a/tests/expectations/compiler/integers/i8/max.out b/tests/expectations/compiler/integers/i8/max.out
index 882e03a65d..e334ced885 100644
--- a/tests/expectations/compiler/integers/i8/max.out
+++ b/tests/expectations/compiler/integers/i8/max.out
@@ -6,4 +6,4 @@ outputs:
       - initial_input_ast: ba83c4b232ca7cb9f1b320fbe00fc76c9e76059f192afb54f5878b9cca9f23eb
     initial_ast: ffbaf3e540c6614b16d723262dddc7a034d30b7b9c8cd792bf32f8749760ee7a
     unrolled_ast: ffbaf3e540c6614b16d723262dddc7a034d30b7b9c8cd792bf32f8749760ee7a
-    ssa_ast: d6e39a3fd7b973aad46b41656f7c5ca0b8f3b51cb174306f4bb4386efc49544f
+    ssa_ast: c1265bf39519e1008d2c38c7faf37c03817aa985e34fc1cea5d0a4743a0d39c4
diff --git a/tests/expectations/compiler/integers/i8/min.out b/tests/expectations/compiler/integers/i8/min.out
index c5203b7823..dc43431139 100644
--- a/tests/expectations/compiler/integers/i8/min.out
+++ b/tests/expectations/compiler/integers/i8/min.out
@@ -6,4 +6,4 @@ outputs:
       - initial_input_ast: 3e63ac0f1c06b032de265411bd6b2e699c930841e0978be6b9233cbeb86cc605
     initial_ast: 70c6d62c439ec959dd9b0ed47a867c5e98035035b40f8de20946545dee84698a
     unrolled_ast: 70c6d62c439ec959dd9b0ed47a867c5e98035035b40f8de20946545dee84698a
-    ssa_ast: a5f1cef4fc1e34a9e79f11c46c5af35ffe809756eef35132002b291078000612
+    ssa_ast: e71d332aadafc0ea3c35a374919d49f329b5705f5293dcdd691d0cb0389a609a
diff --git a/tests/expectations/compiler/integers/i8/negate_zero.out b/tests/expectations/compiler/integers/i8/negate_zero.out
index af644ef8d2..bcf469cb40 100644
--- a/tests/expectations/compiler/integers/i8/negate_zero.out
+++ b/tests/expectations/compiler/integers/i8/negate_zero.out
@@ -6,4 +6,4 @@ outputs:
       - initial_input_ast: 3ae28983e2d2b8955095c5982e00f0841d541858f9c43f24867766bb351a96f4
     initial_ast: a966b9bf552feaa7bb8541bddf1443be910f814b5f5356d07252f47cfde28643
     unrolled_ast: a966b9bf552feaa7bb8541bddf1443be910f814b5f5356d07252f47cfde28643
-    ssa_ast: 02eac5902a3c784651af033abaa78e0fd19bf3efbaee70a93b6ee5f96486de85
+    ssa_ast: d1e432e51eeb98ffdf7dd0f69a8c14d214abbf95b1b08a8a3fcadb3c131fe8e4
diff --git a/tests/expectations/compiler/integers/i8/operator_methods.out b/tests/expectations/compiler/integers/i8/operator_methods.out
index cd96d61b26..66b1caad69 100644
--- a/tests/expectations/compiler/integers/i8/operator_methods.out
+++ b/tests/expectations/compiler/integers/i8/operator_methods.out
@@ -6,4 +6,4 @@ outputs:
       - initial_input_ast: 7bfad30da9e9acd1d9cd8065df89a7a83c904c3d9ec5585e8faed80bd30691bb
     initial_ast: 00b7f3038ab1fe893fc43b2edfc594606d16ca8426db927413830ebf2a58cae3
     unrolled_ast: 00b7f3038ab1fe893fc43b2edfc594606d16ca8426db927413830ebf2a58cae3
-    ssa_ast: 577042bbc5a6728e36a35fbbe1498d8fe91412f3e2c8782604e75f619ae9c5d9
+    ssa_ast: da09fdde88e12e7919102fa804ad89fc2ca534c053d242973ae29e0477a590fc
diff --git a/tests/expectations/compiler/integers/i8/ternary.out b/tests/expectations/compiler/integers/i8/ternary.out
index 4ced7e19d1..f1e8d2a8ca 100644
--- a/tests/expectations/compiler/integers/i8/ternary.out
+++ b/tests/expectations/compiler/integers/i8/ternary.out
@@ -7,4 +7,4 @@ outputs:
       - initial_input_ast: dc27e0e21a03336ec3bd452bdc40b02e904b28cdb449e23c7b4de698eee9efad
     initial_ast: f185943f99db39813e360640e446822fdb9df3971615ccd81f4ba6f35ab527df
     unrolled_ast: f185943f99db39813e360640e446822fdb9df3971615ccd81f4ba6f35ab527df
-    ssa_ast: a6baac065319e25fa1d13ad21894dc8ef98a798fdd5a3935182c86a6da6c8803
+    ssa_ast: ac42870a894f35a8b464bdde12e4a6b103a930340c1b1b4f9f6ec4945ffae2b8
diff --git a/tests/expectations/compiler/integers/u128/console_assert.out b/tests/expectations/compiler/integers/u128/console_assert.out
index 400e78d917..b7e905721d 100644
--- a/tests/expectations/compiler/integers/u128/console_assert.out
+++ b/tests/expectations/compiler/integers/u128/console_assert.out
@@ -6,4 +6,4 @@ outputs:
       - initial_input_ast: b19003e1292f9d8c35f159a014560d387de467bbcbd8985a78310a5de91756d1
     initial_ast: aff3b5bfede3b4fb0271622b43bf44fba40a3b3f7ccb5b0c01d18078b4a41cc0
     unrolled_ast: aff3b5bfede3b4fb0271622b43bf44fba40a3b3f7ccb5b0c01d18078b4a41cc0
-    ssa_ast: ca0a32b1b2bc59c82de26f95f3162a0c5af1f8bfbe5b934e520f850449a047c4
+    ssa_ast: 0728923e1ddc51088bfff4f7cac568666769df40d2e883b4871defcde7432dca
diff --git a/tests/expectations/compiler/integers/u128/max.out b/tests/expectations/compiler/integers/u128/max.out
index e7118ed172..c0fc1d40e2 100644
--- a/tests/expectations/compiler/integers/u128/max.out
+++ b/tests/expectations/compiler/integers/u128/max.out
@@ -6,4 +6,4 @@ outputs:
       - initial_input_ast: bc29c81534e8ff7275a2857bb6120478100e179a5edec8ef101fb4092a8483ee
     initial_ast: 7e1d2ccf1a7a27885b4a6dbe41cf4299d71e751c6d9c39b4b9de54ca7a88c674
     unrolled_ast: 7e1d2ccf1a7a27885b4a6dbe41cf4299d71e751c6d9c39b4b9de54ca7a88c674
-    ssa_ast: 5f0e51d6a8f7e23500291025ebc9c96cd6e8e8ca6824c6ae5376586c018fdcf2
+    ssa_ast: e3252d651abb48883b544b1dbc2e1a44645bc6e13a54499f9c7eb79f9fd453ee
diff --git a/tests/expectations/compiler/integers/u128/min.out b/tests/expectations/compiler/integers/u128/min.out
index c3a27a5004..faece0d92c 100644
--- a/tests/expectations/compiler/integers/u128/min.out
+++ b/tests/expectations/compiler/integers/u128/min.out
@@ -6,4 +6,4 @@ outputs:
       - initial_input_ast: 3a1cc3a7687324fe758ba99ebc73bf0bfb713dafd1bb0f4ffe1d182c5a27817a
     initial_ast: 8069197bcad6e4d55dcbfb0d4511bcab77c8adc26fe75ea9be8b10336da611f7
     unrolled_ast: 8069197bcad6e4d55dcbfb0d4511bcab77c8adc26fe75ea9be8b10336da611f7
-    ssa_ast: e616b6f29d0c90c5d47b7a54e2565356f5e9eac8cff1aaf68e48bc8b2ce803c9
+    ssa_ast: b14484c4268ec905bc8be8a43b0d1e361778e94db0ccdb9870b1e0add5cad342
diff --git a/tests/expectations/compiler/integers/u128/operator_methods.out b/tests/expectations/compiler/integers/u128/operator_methods.out
index a5a550f303..6822ab7458 100644
--- a/tests/expectations/compiler/integers/u128/operator_methods.out
+++ b/tests/expectations/compiler/integers/u128/operator_methods.out
@@ -6,4 +6,4 @@ outputs:
       - initial_input_ast: a44be1f2160e047fe2a3e290168893855384215d04636bfce2fca1789a13f79a
     initial_ast: ae0434dd4cd10268e860e0078f73253667d608509e0252b8eda4530d890221fa
     unrolled_ast: ae0434dd4cd10268e860e0078f73253667d608509e0252b8eda4530d890221fa
-    ssa_ast: b23593cf76d0fc2dd5488691d7bab7de299cdbf4c86bc084a143b6a634675242
+    ssa_ast: d2efc45b9a258dc063e105dd322161c3fcc2cd7891c6d2e55abd0e9107416987
diff --git a/tests/expectations/compiler/integers/u128/ternary.out b/tests/expectations/compiler/integers/u128/ternary.out
index bcbc89b4b6..d71b897a6c 100644
--- a/tests/expectations/compiler/integers/u128/ternary.out
+++ b/tests/expectations/compiler/integers/u128/ternary.out
@@ -7,4 +7,4 @@ outputs:
       - initial_input_ast: 02fce4b6d2ee0d3df51d59d40c7b2cd75f57536d93fbe9bd829a92b4f2aa9efc
     initial_ast: ddd37406c1052b9150a9629fb668bc49f3bfc196fe8c156172a274f3163b9aa3
     unrolled_ast: ddd37406c1052b9150a9629fb668bc49f3bfc196fe8c156172a274f3163b9aa3
-    ssa_ast: 86092e28ed40ed439b70ee092df5aecdf36de586287127cc0f1c44ac39fcc252
+    ssa_ast: a2542d1560239c16e9820db1dd40c8b07dea2007804d50fe936b2dd58e7bb7e4
diff --git a/tests/expectations/compiler/integers/u16/console_assert.out b/tests/expectations/compiler/integers/u16/console_assert.out
index 3b0a7a297c..80213a354d 100644
--- a/tests/expectations/compiler/integers/u16/console_assert.out
+++ b/tests/expectations/compiler/integers/u16/console_assert.out
@@ -6,4 +6,4 @@ outputs:
       - initial_input_ast: 87a6a724f80661e51dd9d651be0e5c84ab3090f64297727b01e80eee548633b2
     initial_ast: 6cd4b56869b79fffec80619b93f82a4b63a5d9b4cff5abea94c97a309fe526f8
     unrolled_ast: 6cd4b56869b79fffec80619b93f82a4b63a5d9b4cff5abea94c97a309fe526f8
-    ssa_ast: 89f95f20433e1a25eeeeb7fab8d59b06eb7cecad086436988338643020d3f69a
+    ssa_ast: 9b0b2413a1235a044cd31334897803ada88b56a3e78ef2b006c3e91567828eca
diff --git a/tests/expectations/compiler/integers/u16/max.out b/tests/expectations/compiler/integers/u16/max.out
index 02364ec792..89aa83afcd 100644
--- a/tests/expectations/compiler/integers/u16/max.out
+++ b/tests/expectations/compiler/integers/u16/max.out
@@ -6,4 +6,4 @@ outputs:
       - initial_input_ast: d17c8a902f7db5b98db912fb42ef2b8b2c3d8c20eb234922abb93c64424dec55
     initial_ast: 4270fe98a37838028a51c965a19bac043181b5b39336b4bddd3a1296e2ea1d2f
     unrolled_ast: 4270fe98a37838028a51c965a19bac043181b5b39336b4bddd3a1296e2ea1d2f
-    ssa_ast: 09545061987ed35afa4339061792a520d6551405953f48f1c1ccf563e975cd54
+    ssa_ast: 768e77996e01a99b637f670ac9733096c05df229b195dec55b0461f42586816d
diff --git a/tests/expectations/compiler/integers/u16/min.out b/tests/expectations/compiler/integers/u16/min.out
index 3d57d71f79..5cdd01ff1c 100644
--- a/tests/expectations/compiler/integers/u16/min.out
+++ b/tests/expectations/compiler/integers/u16/min.out
@@ -6,4 +6,4 @@ outputs:
       - initial_input_ast: c82b4b7f26a3647900a1669a09055618ad25db71a06ad82171f22d66bad41351
     initial_ast: a3a93c102e43e31c9e9078731935cd7d95f78966d6fb946211e3e92870a2d358
     unrolled_ast: a3a93c102e43e31c9e9078731935cd7d95f78966d6fb946211e3e92870a2d358
-    ssa_ast: fe4604a41644816af9d35596f14f33dc2cf90df4adf45fad4f611733f1c95f84
+    ssa_ast: 0e6be078e8cfaa068995ba747e6a62d531e767a7f53ec71334cde15cc26fe539
diff --git a/tests/expectations/compiler/integers/u16/operator_methods.out b/tests/expectations/compiler/integers/u16/operator_methods.out
index 728db855aa..58fb327556 100644
--- a/tests/expectations/compiler/integers/u16/operator_methods.out
+++ b/tests/expectations/compiler/integers/u16/operator_methods.out
@@ -6,4 +6,4 @@ outputs:
       - initial_input_ast: 0987a244d41346dab2d168efa3179f87a6958346b68b69824aff427787b651f4
     initial_ast: c7ca0c096d01edeffe0a4ce946afb91b2309e4bb32a659d8b8593b9f67faf98e
     unrolled_ast: c7ca0c096d01edeffe0a4ce946afb91b2309e4bb32a659d8b8593b9f67faf98e
-    ssa_ast: f56b34abefc5becae418af83a22d1878b3bb6a3e3ed7c5b226bf5f3a5e463e02
+    ssa_ast: 29bac62b24425de132ec687722900874c8baa997a6f8d7b1675c51dcf2d82487
diff --git a/tests/expectations/compiler/integers/u16/ternary.out b/tests/expectations/compiler/integers/u16/ternary.out
index d1fb731b62..f8a523fd69 100644
--- a/tests/expectations/compiler/integers/u16/ternary.out
+++ b/tests/expectations/compiler/integers/u16/ternary.out
@@ -7,4 +7,4 @@ outputs:
       - initial_input_ast: e9cc8a1730f4606eb90ea0a382b059cf7ed7325f27281c6f9be7d7b8bf3132f1
     initial_ast: 5373376f39d8e6d0646f1ae2d8ac767dfc0ca2e99ee3399587d3e838c4c47a98
     unrolled_ast: 5373376f39d8e6d0646f1ae2d8ac767dfc0ca2e99ee3399587d3e838c4c47a98
-    ssa_ast: ce33f78ac43301bace3af834c16627549e91bed892d48d8faac28d39f09316ca
+    ssa_ast: b81dd38012af4457735416aabda70cb3b216bae2945d446860e99879d1a9d5ed
diff --git a/tests/expectations/compiler/integers/u32/console_assert.out b/tests/expectations/compiler/integers/u32/console_assert.out
index 9eafc670f2..47b7367a09 100644
--- a/tests/expectations/compiler/integers/u32/console_assert.out
+++ b/tests/expectations/compiler/integers/u32/console_assert.out
@@ -6,4 +6,4 @@ outputs:
       - initial_input_ast: eb2475c0dea8f30f22e8d59aeca4d60c94b5787c353cee86739e0fdf547cc5d7
     initial_ast: 900997a78ba49bc65d93948b0a4ec7808cdc87caa49ee6eb4a86ba9d20d17354
     unrolled_ast: 900997a78ba49bc65d93948b0a4ec7808cdc87caa49ee6eb4a86ba9d20d17354
-    ssa_ast: ef6aed0570d6f1693105d44b7bc617d265a26557a97160943dcd20c60d18473e
+    ssa_ast: ad999036db0c9a6a588417a4262d3ed13fcc73fa3ae91ea0c6f06095f236de6f
diff --git a/tests/expectations/compiler/integers/u32/max.out b/tests/expectations/compiler/integers/u32/max.out
index 8780feb13a..758fb9265c 100644
--- a/tests/expectations/compiler/integers/u32/max.out
+++ b/tests/expectations/compiler/integers/u32/max.out
@@ -6,4 +6,4 @@ outputs:
       - initial_input_ast: d7efb950b283e8043cb74d699f193749324f2fb6714df5fde527c348f849a179
     initial_ast: c89af557c57ce2e965f5ce5c113233bc2f468dcc327ed3e4b68e9c2ec7091eb6
     unrolled_ast: c89af557c57ce2e965f5ce5c113233bc2f468dcc327ed3e4b68e9c2ec7091eb6
-    ssa_ast: b1b3dc678bdf9ca0bf4fe5d2a2596565cde3fb62ace4eff3326f770c5935166f
+    ssa_ast: 4290737a36e4e2acbecff93988a424555d98f9af52f3d9fc194733d38ad86f3a
diff --git a/tests/expectations/compiler/integers/u32/min.out b/tests/expectations/compiler/integers/u32/min.out
index 58fb5e0056..09fc8e99f7 100644
--- a/tests/expectations/compiler/integers/u32/min.out
+++ b/tests/expectations/compiler/integers/u32/min.out
@@ -6,4 +6,4 @@ outputs:
       - initial_input_ast: c82b4b7f26a3647900a1669a09055618ad25db71a06ad82171f22d66bad41351
     initial_ast: 1a1393d473c9ec50c23f75687928162ec127d6aab03d8de8edc69f82ac4669a9
     unrolled_ast: 1a1393d473c9ec50c23f75687928162ec127d6aab03d8de8edc69f82ac4669a9
-    ssa_ast: 92dc325208d9a09eccd8223a9f689e80e7be94dafa5b4abe60b60f8a91e924f7
+    ssa_ast: f2640b304cad311c2948ed5c53fa5685ac1e849594a9656aa241c1d5956ed1d7
diff --git a/tests/expectations/compiler/integers/u32/operator_methods.out b/tests/expectations/compiler/integers/u32/operator_methods.out
index 636eacada4..2def5fd6b8 100644
--- a/tests/expectations/compiler/integers/u32/operator_methods.out
+++ b/tests/expectations/compiler/integers/u32/operator_methods.out
@@ -6,4 +6,4 @@ outputs:
       - initial_input_ast: 8825dc0753febadfd6b526c47a0e5464912bc358708bd30ddf40e1d21cd76c2b
     initial_ast: f92d03f034bc79b9dc5837a1103d45e56dfb8c630bcede97fd0e409b78567671
     unrolled_ast: f92d03f034bc79b9dc5837a1103d45e56dfb8c630bcede97fd0e409b78567671
-    ssa_ast: a0d47d97cc90515a8e553bbd0eaf94d256703cf7bf708da6d0302a9fc5f57977
+    ssa_ast: f24c72cfdda24982b24f4d40bb79a47fb0d70a7f358dae9e49f85274f28c7ac8
diff --git a/tests/expectations/compiler/integers/u32/ternary.out b/tests/expectations/compiler/integers/u32/ternary.out
index 4237612823..7a7c7af0a0 100644
--- a/tests/expectations/compiler/integers/u32/ternary.out
+++ b/tests/expectations/compiler/integers/u32/ternary.out
@@ -7,4 +7,4 @@ outputs:
       - initial_input_ast: b4eee61b2e4659116aa928d7f44962cc640cc48fbdaf9a29422cae3de77b3a35
     initial_ast: e14ea6d8ce53ba4c7e8b3db4a6659ffcb23b068cfe63c90bc13951845ec767f5
     unrolled_ast: e14ea6d8ce53ba4c7e8b3db4a6659ffcb23b068cfe63c90bc13951845ec767f5
-    ssa_ast: 360425c5218785ecdb5b8adc105cc0c87408afcb4b9a4d2e4bc4b9f9c1c3b14a
+    ssa_ast: a09551e788bf2e0581348209313f4cf0a7346d60d1acb08c6a952d5b292b8fa8
diff --git a/tests/expectations/compiler/integers/u64/console_assert.out b/tests/expectations/compiler/integers/u64/console_assert.out
index 7529b6dd81..0f9774caf0 100644
--- a/tests/expectations/compiler/integers/u64/console_assert.out
+++ b/tests/expectations/compiler/integers/u64/console_assert.out
@@ -6,4 +6,4 @@ outputs:
       - initial_input_ast: dd2aac4c6f630f7b4dbe5bfb5d78168b94e0901beec8736b770037ec96495802
     initial_ast: abfe6a8b4dd7e0f522b49cd5cf87a9bdc884a37d9b61ba5b2284e69e1958c99c
     unrolled_ast: abfe6a8b4dd7e0f522b49cd5cf87a9bdc884a37d9b61ba5b2284e69e1958c99c
-    ssa_ast: bdd77fc3bd8b349e63c13f8f74085e3ab5880c8da85da778a857cb0699781d1d
+    ssa_ast: 421fe12125d778b52d8cdce98cde62443af803a1fedb8c73d3ad48a135895751
diff --git a/tests/expectations/compiler/integers/u64/max.out b/tests/expectations/compiler/integers/u64/max.out
index 2de474c3c4..0c80aef35f 100644
--- a/tests/expectations/compiler/integers/u64/max.out
+++ b/tests/expectations/compiler/integers/u64/max.out
@@ -6,4 +6,4 @@ outputs:
       - initial_input_ast: e1384263a1c0a020dfb2e479ac003bf88585716f7492d60429e4a030a81760e1
     initial_ast: 523b8d3d11a2d384860371f53a12af46fa314581767a6d6c7075a0de7d219ef6
     unrolled_ast: 523b8d3d11a2d384860371f53a12af46fa314581767a6d6c7075a0de7d219ef6
-    ssa_ast: ae9b205143f59c733bba6b7d21fec333fa09104bfa5fd9deabbdce6250bb380d
+    ssa_ast: a150b6c5b49f262234e524473b80352a2da459a0c5e535466d61036df28b1e7d
diff --git a/tests/expectations/compiler/integers/u64/min.out b/tests/expectations/compiler/integers/u64/min.out
index d9547d7619..23e1b84cfc 100644
--- a/tests/expectations/compiler/integers/u64/min.out
+++ b/tests/expectations/compiler/integers/u64/min.out
@@ -6,4 +6,4 @@ outputs:
       - initial_input_ast: c82b4b7f26a3647900a1669a09055618ad25db71a06ad82171f22d66bad41351
     initial_ast: 5e0a90e585de125ee9b2ca43ec70a662c71f8ad3f7ba714aa7d22a32311ab5a2
     unrolled_ast: 5e0a90e585de125ee9b2ca43ec70a662c71f8ad3f7ba714aa7d22a32311ab5a2
-    ssa_ast: 016194bbee3b3f2e10a2b7f8b704badbcbd1772a6323cfb7d4aaa2383b5d44b4
+    ssa_ast: d252f893f7fc80a06b6afccaa5fa47eb8b8ef5e4b3d01f2cd5cf22f3fb5349b4
diff --git a/tests/expectations/compiler/integers/u64/operator_methods.out b/tests/expectations/compiler/integers/u64/operator_methods.out
index af7cc37304..c2b43e413c 100644
--- a/tests/expectations/compiler/integers/u64/operator_methods.out
+++ b/tests/expectations/compiler/integers/u64/operator_methods.out
@@ -6,4 +6,4 @@ outputs:
       - initial_input_ast: 9dab1d380e32f26f89054c23ec40da61f704f51e980519eeb28176c7aea74ee2
     initial_ast: 6fa70d9cad84f9ae8711c2f28f647cf60742ce7d163fa5292e643e3f2955edeb
     unrolled_ast: 6fa70d9cad84f9ae8711c2f28f647cf60742ce7d163fa5292e643e3f2955edeb
-    ssa_ast: d1de33b13877511db4ba781df1b7dec12807e7f09e07709db01662f970469e7d
+    ssa_ast: 35059085e4452f09a864704acaa72521ab0f3081d81095322518c1e36153d385
diff --git a/tests/expectations/compiler/integers/u64/ternary.out b/tests/expectations/compiler/integers/u64/ternary.out
index 809b7afdb9..6775f30377 100644
--- a/tests/expectations/compiler/integers/u64/ternary.out
+++ b/tests/expectations/compiler/integers/u64/ternary.out
@@ -7,4 +7,4 @@ outputs:
       - initial_input_ast: 4ae6aaeb5d347247c9171908ba7c7bf7f93e6857cdb8743da9f97426ee3714d9
     initial_ast: ff3e99f2dd2819dd91af0fd72fabd57e462ff0fb243bb883b5b21a503b70f1a4
     unrolled_ast: ff3e99f2dd2819dd91af0fd72fabd57e462ff0fb243bb883b5b21a503b70f1a4
-    ssa_ast: 3e648c8729471af25703989cad7ad72ac0d642970ec44f44b058a3ae5cd0d73e
+    ssa_ast: 992eb8982b31fcfd584e3c73452fce12fe5a216d9bf6a7b9b5fef7df68504b91
diff --git a/tests/expectations/compiler/integers/u8/console_assert.out b/tests/expectations/compiler/integers/u8/console_assert.out
index 7e6a1d3845..89bfa0a7b8 100644
--- a/tests/expectations/compiler/integers/u8/console_assert.out
+++ b/tests/expectations/compiler/integers/u8/console_assert.out
@@ -6,4 +6,4 @@ outputs:
       - initial_input_ast: 1b807f417d2897a2bfcff5a92efc07455f077c76697d8f3bc0eeef1146c111b5
     initial_ast: 2dd5660737fc9b146c50d59ab2a162ba904ee5fff7c442294e9bbaae844e2b32
     unrolled_ast: 2dd5660737fc9b146c50d59ab2a162ba904ee5fff7c442294e9bbaae844e2b32
-    ssa_ast: ad2cd0a02a5a2894738c015995df5b94dff567761937a0e123a87d152fdcda77
+    ssa_ast: 8a24b95bfe48f5a12748520dd740cf2cf2c4b849567a5a3a736e2218010b7995
diff --git a/tests/expectations/compiler/integers/u8/max.out b/tests/expectations/compiler/integers/u8/max.out
index 32dc9d6d9a..3e924df313 100644
--- a/tests/expectations/compiler/integers/u8/max.out
+++ b/tests/expectations/compiler/integers/u8/max.out
@@ -6,4 +6,4 @@ outputs:
       - initial_input_ast: c82b4b7f26a3647900a1669a09055618ad25db71a06ad82171f22d66bad41351
     initial_ast: 2e2d09567fb66dc788518d8a2580330969c22b8996840e6bac6f8f751ed10e71
     unrolled_ast: 2e2d09567fb66dc788518d8a2580330969c22b8996840e6bac6f8f751ed10e71
-    ssa_ast: 14f2e3f48132f6e4f0d3acb243ccff92265ac6758d37152df526fd25a4face9a
+    ssa_ast: b787135e4cedfaf8a7666f8b7df74201d0f4e37212643c2707065a7be312fbdd
diff --git a/tests/expectations/compiler/integers/u8/min.out b/tests/expectations/compiler/integers/u8/min.out
index e0396eab06..158cbf3974 100644
--- a/tests/expectations/compiler/integers/u8/min.out
+++ b/tests/expectations/compiler/integers/u8/min.out
@@ -6,4 +6,4 @@ outputs:
       - initial_input_ast: a1a34a6c86c699c5d6619fb0a62bcba7304c61a47948782864b22feecedbd5dd
     initial_ast: 60aaca7e9034a71c1326134484408ef37388d5be4ffc98a1ec5e1abad16970a9
     unrolled_ast: 60aaca7e9034a71c1326134484408ef37388d5be4ffc98a1ec5e1abad16970a9
-    ssa_ast: 5ae7414d182c159b30a55f4e853ebd8dde83957ff9453158f9a97951a0c1d272
+    ssa_ast: 3441810b1906a17fa99987d57b90105d757edac7caae8916358c79f4131c4816
diff --git a/tests/expectations/compiler/integers/u8/operator_methods.out b/tests/expectations/compiler/integers/u8/operator_methods.out
index e3d0e55677..7a80c9ea18 100644
--- a/tests/expectations/compiler/integers/u8/operator_methods.out
+++ b/tests/expectations/compiler/integers/u8/operator_methods.out
@@ -6,4 +6,4 @@ outputs:
       - initial_input_ast: 5af325bba59f403fed6434398ef0e989ec325425782f6194891929734864866b
     initial_ast: 1f3a60bfccfb592bfdddda2081da7c5bed330602d3d84586dc88fa75bf0d1109
     unrolled_ast: 1f3a60bfccfb592bfdddda2081da7c5bed330602d3d84586dc88fa75bf0d1109
-    ssa_ast: a02e5f2e4586ba19ad61550f4d92b7f2dd40838f43fd09ebcf071479e1d1fb74
+    ssa_ast: cb5f1b759102b6a2ebaaac97d50b3d41ad2ee2dcde961302099d4703c5f33f39
diff --git a/tests/expectations/compiler/integers/u8/ternary.out b/tests/expectations/compiler/integers/u8/ternary.out
index c6bfdf0540..9f6261b822 100644
--- a/tests/expectations/compiler/integers/u8/ternary.out
+++ b/tests/expectations/compiler/integers/u8/ternary.out
@@ -7,4 +7,4 @@ outputs:
       - initial_input_ast: 283b3755126f6db462ffe0912b4f2aa42c7db0782b23995dd7d4c4aeda3103be
     initial_ast: ff17ab92b81db3319f9e5bceb2920e647ffcb0f41ccbc3da751135a5558fe160
     unrolled_ast: ff17ab92b81db3319f9e5bceb2920e647ffcb0f41ccbc3da751135a5558fe160
-    ssa_ast: 24967e92edcb1fe0fd7a68b1e072e71b72042f14a03eff2eba6e5cc8a8322f75
+    ssa_ast: d1fbf72956aa61a5268fd87f32f2aba1e94732517bcf0dcfb3dbc02520be1f4d
diff --git a/tests/expectations/compiler/records/init_expression.out b/tests/expectations/compiler/records/init_expression.out
index b88ca3b175..77a08ff936 100644
--- a/tests/expectations/compiler/records/init_expression.out
+++ b/tests/expectations/compiler/records/init_expression.out
@@ -6,4 +6,4 @@ outputs:
       - initial_input_ast: no input
     initial_ast: e735a6b80e361f2eaafc99e3adab1d8e952b9235e705f01c4176f3f87cfbd92b
     unrolled_ast: e735a6b80e361f2eaafc99e3adab1d8e952b9235e705f01c4176f3f87cfbd92b
-    ssa_ast: e0f5d16a27b1af372f5d464882c3ea4782b51e229d6aba80f8a91d4e56df63f9
+    ssa_ast: 75f50583ee1303a3de891277a03987ee97449cff38d938504ca1e3bbeedd3288
diff --git a/tests/expectations/compiler/records/init_expression_shorthand.out b/tests/expectations/compiler/records/init_expression_shorthand.out
index e832e9e369..065a37f03d 100644
--- a/tests/expectations/compiler/records/init_expression_shorthand.out
+++ b/tests/expectations/compiler/records/init_expression_shorthand.out
@@ -6,4 +6,4 @@ outputs:
       - initial_input_ast: no input
     initial_ast: 042cc942051ac490f6242bd23c886f37cdfef1f72ba957233c8ecf8253cb89a6
     unrolled_ast: 042cc942051ac490f6242bd23c886f37cdfef1f72ba957233c8ecf8253cb89a6
-    ssa_ast: 19e0d31442d3d8cc599e2ad939093309f7158652ff7a30ca0e12eae7261979b0
+    ssa_ast: 2d77436767a56af5bdfae8f005634910c2b6ad126a78ee1173f41f49dcdb9252
diff --git a/tests/expectations/compiler/scalar/cmp.out b/tests/expectations/compiler/scalar/cmp.out
index 202f426ce6..b5fa0b4127 100644
--- a/tests/expectations/compiler/scalar/cmp.out
+++ b/tests/expectations/compiler/scalar/cmp.out
@@ -6,4 +6,4 @@ outputs:
       - initial_input_ast: 3d3353f4a8936ad5eb3738204dc57b3e08dae541cfbe5dd012fd82413c4a800d
     initial_ast: 57f89254166bb381d8a05ef42ac488f1622f12910729f5ff04f3854caf2007a0
     unrolled_ast: 57f89254166bb381d8a05ef42ac488f1622f12910729f5ff04f3854caf2007a0
-    ssa_ast: aab0aeda1e90c34e2add9bd476b3757a8bc9170f6a28470cef9647234e32c88d
+    ssa_ast: 06d8ea733c380a733ed465e182c358cad464e6dc8442445e3b714dbe8588c0ea
diff --git a/tests/expectations/compiler/scalar/eq.out b/tests/expectations/compiler/scalar/eq.out
index 3160939be3..d1ce8151fe 100644
--- a/tests/expectations/compiler/scalar/eq.out
+++ b/tests/expectations/compiler/scalar/eq.out
@@ -6,4 +6,4 @@ outputs:
       - initial_input_ast: ba7d5fcbce9ef9e8a4d2861afe75514f0ee87b8d5aca0407cdce1ca637c2ddf4
     initial_ast: 7aa2bb56fee0a6522ad8ccd223bdd63f97a339e58b320a3b224fbd3eb992facb
     unrolled_ast: 7aa2bb56fee0a6522ad8ccd223bdd63f97a339e58b320a3b224fbd3eb992facb
-    ssa_ast: a2bcd29dcc779396d624995f24446da8958c4f2ad0a0c98333b297d1ab3d8843
+    ssa_ast: 793734b6b3f1feb0ca520899a4fe708b6dda2a29adacd566595a597774180c9e
diff --git a/tests/expectations/compiler/scalar/operator_methods.out b/tests/expectations/compiler/scalar/operator_methods.out
index 336b021709..22ef6f2511 100644
--- a/tests/expectations/compiler/scalar/operator_methods.out
+++ b/tests/expectations/compiler/scalar/operator_methods.out
@@ -6,4 +6,4 @@ outputs:
       - initial_input_ast: 241af2baf840e4d881d353b9f22a691be1e1aa9285245a0691b5f20091e9b122
     initial_ast: 86bf1cfd564fa8ccdfa1d864668865581ebfeb41e6c9684dafccd56b6732bc41
     unrolled_ast: 86bf1cfd564fa8ccdfa1d864668865581ebfeb41e6c9684dafccd56b6732bc41
-    ssa_ast: 25ca78f1d03a3edfbbb8227de09d847f08d547555e490c4d8472e94285de2f99
+    ssa_ast: 8a765491fc6e3cbf306217ce2255aa2a99ed09b1b86c5da4c57f640a17e36e4b
diff --git a/tests/expectations/compiler/scalar/scalar.out b/tests/expectations/compiler/scalar/scalar.out
index 43b0fd46d3..0a051b2a84 100644
--- a/tests/expectations/compiler/scalar/scalar.out
+++ b/tests/expectations/compiler/scalar/scalar.out
@@ -6,4 +6,4 @@ outputs:
       - initial_input_ast: 2a0b081038ac342aa2fbb460baec0f4ed842e646dc6f5057f691336cad1860de
     initial_ast: 1ddf7eeea0e0ff482be7ab08db5fe45a67d9de259e909e3b8d2feccc1a4d1534
     unrolled_ast: 1ddf7eeea0e0ff482be7ab08db5fe45a67d9de259e909e3b8d2feccc1a4d1534
-    ssa_ast: 98bc3c5dbe0873aa8882cf61f4e14eba089c59c572f1b438a34fe8c32b6fb9d8
+    ssa_ast: 60cd5e4bd4980f6ca5c141c7c9a669878171e989514f1be23dfc089a8b2e2b83
diff --git a/tests/expectations/compiler/statements/assign.out b/tests/expectations/compiler/statements/assign.out
index 935ca794f4..cdb24f162b 100644
--- a/tests/expectations/compiler/statements/assign.out
+++ b/tests/expectations/compiler/statements/assign.out
@@ -4,6 +4,6 @@ expectation: Pass
 outputs:
   - output:
       - initial_input_ast: da16ca9cc5f5e030a6f400cab491032378620f9ca67871d8827753e2833d62ef
-    initial_ast: 91ee93f0ea0ee294a802a227c2a50542c52a1ac5e16c4c014bc7d733834874fe
-    unrolled_ast: 91ee93f0ea0ee294a802a227c2a50542c52a1ac5e16c4c014bc7d733834874fe
-    ssa_ast: c2152d5a13489c34bb00d3364624272451b4aa97cfed3cd786a519541d58575f
+    initial_ast: 3a0d58aacf97aab553af48062c125e663613d421d7e32b9ca2926c8e0002cca7
+    unrolled_ast: 3a0d58aacf97aab553af48062c125e663613d421d7e32b9ca2926c8e0002cca7
+    ssa_ast: e55e27d182539f9df4218344f0431c35f33e45e6dff1c88b8bbed3d29c2d1a29
diff --git a/tests/expectations/compiler/statements/block.out b/tests/expectations/compiler/statements/block.out
index 4032bb9fb4..851373a00b 100644
--- a/tests/expectations/compiler/statements/block.out
+++ b/tests/expectations/compiler/statements/block.out
@@ -4,6 +4,6 @@ expectation: Pass
 outputs:
   - output:
       - initial_input_ast: c814430a6d87a963572a33b47b241da47e4b902d07fe1188b2034d352cdc825f
-    initial_ast: dde4d5e2ebe97011ee2f6c509f2f359d87755894e3fdad9e6c9595ff77f3c944
-    unrolled_ast: dde4d5e2ebe97011ee2f6c509f2f359d87755894e3fdad9e6c9595ff77f3c944
-    ssa_ast: 9f32ac701f0c48e38fe3790c0ebcadc31c4102e2e3e26c3d022b191f8d249217
+    initial_ast: 3d0d8d68f40b860e924a8de2c4c56ba3c33024168a28d03805f6b04e9a54252e
+    unrolled_ast: 3d0d8d68f40b860e924a8de2c4c56ba3c33024168a28d03805f6b04e9a54252e
+    ssa_ast: 37fe04da0da1138c0ce9be9bf864f30c55e7c57d147f152de7c990a33d51e679
diff --git a/tests/expectations/compiler/statements/chain.out b/tests/expectations/compiler/statements/chain.out
index 1b52ca9053..b0d5763b22 100644
--- a/tests/expectations/compiler/statements/chain.out
+++ b/tests/expectations/compiler/statements/chain.out
@@ -6,6 +6,6 @@ outputs:
       - initial_input_ast: b3d4dc6696e6075283e7d90011a6654b1d906785aa4af4555449802068aa6849
       - initial_input_ast: 5d5e239a3024366f9b2f73cb46e4c238a10e99497dc8aab165a366fc1042088d
       - initial_input_ast: 1ca93c805d4bc9d9304e909d835a1b864cd51191b887e5b30fd3621bd8522aa8
-    initial_ast: ff65338720e60c2db4e322421a5013882d07640488a62aa70dd49f498fd66455
-    unrolled_ast: ff65338720e60c2db4e322421a5013882d07640488a62aa70dd49f498fd66455
-    ssa_ast: a99f4e4f8ebeafa7e77048b3807ee1308abc659b6cdd64155c404f486a8b4f09
+    initial_ast: 07b32110d8c00b0dd10c236c0d97cd238f798c404a5c4ebd88392d92072851d1
+    unrolled_ast: 07b32110d8c00b0dd10c236c0d97cd238f798c404a5c4ebd88392d92072851d1
+    ssa_ast: 3f8eb4fb9d7bd222c5f1d1d9ad859435209be32434b7ceb658112568c1cca0d2
diff --git a/tests/expectations/compiler/statements/iteration_basic.out b/tests/expectations/compiler/statements/iteration_basic.out
index c65fa14dd4..b20be0264f 100644
--- a/tests/expectations/compiler/statements/iteration_basic.out
+++ b/tests/expectations/compiler/statements/iteration_basic.out
@@ -4,6 +4,6 @@ expectation: Pass
 outputs:
   - output:
       - initial_input_ast: 1c444d1778aabb953db94fb10ecb73f5a00c5743673fa79f97a4cee8eda10856
-    initial_ast: 0a147097ac0ab247db5753e3122abc34f3077b0f8c3bd8d46787086cc46c34a4
-    unrolled_ast: 4e8e0838c5c1177ee658adbee9deef645180d8716afe5b9f25ce2f1a62d50956
-    ssa_ast: 6ce53b3c8d5aacf9589f9e026b17aa89cd8d68cd23a53806db522b782cdb75d2
+    initial_ast: 46c289fe9d642ce9d35556d540e1fc3d12553f1b98b49bc5268c883df71f6c1c
+    unrolled_ast: 0b95c0fae35a77432bfc4c0d8316f6904b1039f7b69963edbdcf3a244c3129f1
+    ssa_ast: 165a8e860069c99be156b1bfcf64db9fc5f1a7e19b11f47a1226977e1a7fa02e
diff --git a/tests/expectations/compiler/statements/iteration_nested.out b/tests/expectations/compiler/statements/iteration_nested.out
index d1e8a79a4f..4f7fdebceb 100644
--- a/tests/expectations/compiler/statements/iteration_nested.out
+++ b/tests/expectations/compiler/statements/iteration_nested.out
@@ -4,6 +4,6 @@ expectation: Pass
 outputs:
   - output:
       - initial_input_ast: 8c841cc7cc27d721bb11f1faa911ea1d1f6f6572000c49c2da1ea46ebd04930f
-    initial_ast: 9733bd9767fcd9892e6ff8654e7619e45b478b5e8a92a576bf0b5be92930e6e8
-    unrolled_ast: ba41fcdb3bd27d2a968c551159b8fd377d03de1f6af373c1bbd1294ad09b378d
-    ssa_ast: 3cafbd87a345a8848a7bb2b5a870f15a6098f88d02f72f27d9a52ff0273f4a31
+    initial_ast: 677905cdab5ec31ef23559a7c44436c5b00b30c25c0d9dcb7fc688a5e78c3bd6
+    unrolled_ast: e70d9544fd8a995f868d410b0d24a9fc37d71ce0c5ff1b5cc8d219ee74aff400
+    ssa_ast: a2edb0c93c4f1ca9b5313efb63946847a21a346ca161a4b9b6a8552112a73a19
diff --git a/tests/expectations/compiler/statements/multiple_returns.out b/tests/expectations/compiler/statements/multiple_returns.out
index b3382c4f21..cbc6934077 100644
--- a/tests/expectations/compiler/statements/multiple_returns.out
+++ b/tests/expectations/compiler/statements/multiple_returns.out
@@ -7,4 +7,4 @@ outputs:
       - initial_input_ast: d82831ef1e3012a9d7b5b0b8cf1ab6d14e05147f36b35a5fc5b295467bf6a489
     initial_ast: 562fbdf20c53634cbaa4f30ed342ea80fbe7969428d505a16800595ba6afe5c9
     unrolled_ast: 562fbdf20c53634cbaa4f30ed342ea80fbe7969428d505a16800595ba6afe5c9
-    ssa_ast: 7045973108ff96af0a658c24836525c046e276e758654668c448fb622c7dcd9b
+    ssa_ast: ee7e71f70a94c38f0e083fc6667dece51136ed39248710c3ea7a1d714d3f436e
diff --git a/tests/expectations/compiler/statements/mutate.out b/tests/expectations/compiler/statements/mutate.out
index de5fc03b4b..f93b441900 100644
--- a/tests/expectations/compiler/statements/mutate.out
+++ b/tests/expectations/compiler/statements/mutate.out
@@ -5,6 +5,6 @@ outputs:
   - output:
       - initial_input_ast: 1777774f27da1f01dda8335321a1f9b39c2d511103728c40d2d7137a85f2af1a
       - initial_input_ast: d54f96bcbb8e510356b0cd457e477b5cdc8b4ee9b029a18ff722431770a9d5ef
-    initial_ast: ad1cdf61f54808fb527de83fdc8be32a70009a4da6733a1cfc8ee4a1c0a0c4aa
-    unrolled_ast: ad1cdf61f54808fb527de83fdc8be32a70009a4da6733a1cfc8ee4a1c0a0c4aa
-    ssa_ast: efbf18f0d3661e039bfbe453c0c707b7df336b375e47bc2b30848074bad56b15
+    initial_ast: c2a43bdef4a78871c452aa3d4c0b1d5825156985c9185673369eb6a0441dc533
+    unrolled_ast: c2a43bdef4a78871c452aa3d4c0b1d5825156985c9185673369eb6a0441dc533
+    ssa_ast: 728d161f3ae6286b316b957a9d1298a13708df624a5addaef2d5f5a1f3594a04
diff --git a/tests/expectations/compiler/statements/operations/add_assign.out b/tests/expectations/compiler/statements/operations/add_assign.out
index ac64299cbb..afee354df3 100644
--- a/tests/expectations/compiler/statements/operations/add_assign.out
+++ b/tests/expectations/compiler/statements/operations/add_assign.out
@@ -4,6 +4,6 @@ expectation: Pass
 outputs:
   - output:
       - initial_input_ast: no input
-    initial_ast: 58b9f46382fb084a4fb01abb8295cb6ea1ba39ce031c4791338f0d9065c3d631
-    unrolled_ast: 58b9f46382fb084a4fb01abb8295cb6ea1ba39ce031c4791338f0d9065c3d631
-    ssa_ast: 218960a3b4e475a48511ff98086c2cfc64f29fe397399ea7c74cfabab9550c2b
+    initial_ast: fb4619ddba94ce8e436aaa5f71c744e5e75d7b95c6e43ce8212ff299b0237e66
+    unrolled_ast: fb4619ddba94ce8e436aaa5f71c744e5e75d7b95c6e43ce8212ff299b0237e66
+    ssa_ast: 6dc700d4c376d0bf654de35f6b062843b98eed1ee69449549ccd9be85d72d573
diff --git a/tests/expectations/compiler/statements/operations/and_assign.out b/tests/expectations/compiler/statements/operations/and_assign.out
index ba04c449eb..48cbb85cc4 100644
--- a/tests/expectations/compiler/statements/operations/and_assign.out
+++ b/tests/expectations/compiler/statements/operations/and_assign.out
@@ -4,6 +4,6 @@ expectation: Pass
 outputs:
   - output:
       - initial_input_ast: no input
-    initial_ast: cee34c63b8e2a4e831ccf0316aa7e59e134840d36ac29a08e7c37f6678dad0f2
-    unrolled_ast: cee34c63b8e2a4e831ccf0316aa7e59e134840d36ac29a08e7c37f6678dad0f2
-    ssa_ast: a2b6f0d01cd331f1685e5aadc106dfa8cf2a3ae8c4dcb6a1d83c299306bdb387
+    initial_ast: 231261002d77866470fa0dcb75d046cd796ad0298d4f0ce5ef773825e5abf9bc
+    unrolled_ast: 231261002d77866470fa0dcb75d046cd796ad0298d4f0ce5ef773825e5abf9bc
+    ssa_ast: a7846527649d9f2126462664da84208b1b436ffac13945a84679981b0732a5d8
diff --git a/tests/expectations/compiler/statements/operations/bitand_assign.out b/tests/expectations/compiler/statements/operations/bitand_assign.out
index 3d130afa74..07f95584a5 100644
--- a/tests/expectations/compiler/statements/operations/bitand_assign.out
+++ b/tests/expectations/compiler/statements/operations/bitand_assign.out
@@ -4,6 +4,6 @@ expectation: Pass
 outputs:
   - output:
       - initial_input_ast: no input
-    initial_ast: 4e10f799769d18596298eb10080b752fe5f77071d292eb347b589949b7e051ed
-    unrolled_ast: 4e10f799769d18596298eb10080b752fe5f77071d292eb347b589949b7e051ed
-    ssa_ast: 65e9659b75ef13dadf53ac53ad5a36c881591bde605913edbbfa2801793d6ddf
+    initial_ast: 5b2209d956002d14de11d3dbf242fb640a0fee0af2f7e380d68795d1e4f8b0f1
+    unrolled_ast: 5b2209d956002d14de11d3dbf242fb640a0fee0af2f7e380d68795d1e4f8b0f1
+    ssa_ast: 5de2da7fe8f24a6eb6b55c163fa2c37c6530444fed9344fabe50080b873262c1
diff --git a/tests/expectations/compiler/statements/operations/bitor_assign.out b/tests/expectations/compiler/statements/operations/bitor_assign.out
index 0fa7cab611..36d689b619 100644
--- a/tests/expectations/compiler/statements/operations/bitor_assign.out
+++ b/tests/expectations/compiler/statements/operations/bitor_assign.out
@@ -4,6 +4,6 @@ expectation: Pass
 outputs:
   - output:
       - initial_input_ast: no input
-    initial_ast: fbe8b5a31b4da295092eb30dbb08e355417ec9f0b64a4f08748d75c6ff075bf6
-    unrolled_ast: fbe8b5a31b4da295092eb30dbb08e355417ec9f0b64a4f08748d75c6ff075bf6
-    ssa_ast: e9bb9f69bfc35d7404fd0a914b36b12463b13d6669575f07448183cfff453be5
+    initial_ast: 0cb8bb1e58a5f7863020b5eef622f1934b79a6a3cc8193b18712d207b1e5ce4f
+    unrolled_ast: 0cb8bb1e58a5f7863020b5eef622f1934b79a6a3cc8193b18712d207b1e5ce4f
+    ssa_ast: 4dadaf2dab5b1ddb29a9a83c4ec3626d109c6661b07c2682884713485d6ab184
diff --git a/tests/expectations/compiler/statements/operations/bitxor_assign.out b/tests/expectations/compiler/statements/operations/bitxor_assign.out
index bf3fad0d3a..00096b5e78 100644
--- a/tests/expectations/compiler/statements/operations/bitxor_assign.out
+++ b/tests/expectations/compiler/statements/operations/bitxor_assign.out
@@ -4,6 +4,6 @@ expectation: Pass
 outputs:
   - output:
       - initial_input_ast: no input
-    initial_ast: 303065991b8fb0709ac502491098929b24c62e10c8f265347c96c902df255381
-    unrolled_ast: 303065991b8fb0709ac502491098929b24c62e10c8f265347c96c902df255381
-    ssa_ast: 2b0852e81bbf60e82237a7acca8a2f82245afb8d65596dfcb65a024fa6961fd2
+    initial_ast: a437062d2190479116af2a1effef4c6f3e327fa7b426f64c11afeba5dd6861ca
+    unrolled_ast: a437062d2190479116af2a1effef4c6f3e327fa7b426f64c11afeba5dd6861ca
+    ssa_ast: 9dfa9377bf9d34dd627c7b3d28129919d448ebe9702b18228f199593d9026a7e
diff --git a/tests/expectations/compiler/statements/operations/div_assign.out b/tests/expectations/compiler/statements/operations/div_assign.out
index 8114e0e70f..4d3d8d6bc6 100644
--- a/tests/expectations/compiler/statements/operations/div_assign.out
+++ b/tests/expectations/compiler/statements/operations/div_assign.out
@@ -4,6 +4,6 @@ expectation: Pass
 outputs:
   - output:
       - initial_input_ast: no input
-    initial_ast: 065de9a6e836a8769826b9b04831d7f06a70b5e0f41aeebac9e9101209874f0d
-    unrolled_ast: 065de9a6e836a8769826b9b04831d7f06a70b5e0f41aeebac9e9101209874f0d
-    ssa_ast: be2e4cf9a2309de8d978b00f395bc69cacba75fc3b14348bf885b3d1062483df
+    initial_ast: c9807042a16e1f209bca05ae1894d3a8a94b31a7eaed9defc8fa16e90305a89c
+    unrolled_ast: c9807042a16e1f209bca05ae1894d3a8a94b31a7eaed9defc8fa16e90305a89c
+    ssa_ast: 6fe0fc973b0b5fb982cb71833433b07ab19e5bdf9ff466bfe9e92044720c7828
diff --git a/tests/expectations/compiler/statements/operations/mul_assign.out b/tests/expectations/compiler/statements/operations/mul_assign.out
index 7e184bcaf0..f803eb7dae 100644
--- a/tests/expectations/compiler/statements/operations/mul_assign.out
+++ b/tests/expectations/compiler/statements/operations/mul_assign.out
@@ -4,6 +4,6 @@ expectation: Pass
 outputs:
   - output:
       - initial_input_ast: no input
-    initial_ast: 1046a616546f9fdd4f6afc189c1630d377e07fc5defdc6cb756c986256e58ec9
-    unrolled_ast: 1046a616546f9fdd4f6afc189c1630d377e07fc5defdc6cb756c986256e58ec9
-    ssa_ast: efb15b84122838726ff511256b657915aa055db52e80ff3899d04f1798d61859
+    initial_ast: 85879e6e67cc342899691d1acff86a6557c810724711e1d23525bad77be2cc1c
+    unrolled_ast: 85879e6e67cc342899691d1acff86a6557c810724711e1d23525bad77be2cc1c
+    ssa_ast: 50933481aaefcfeb1abceb763351c01995e36e206626e0f57a7c50d47463c972
diff --git a/tests/expectations/compiler/statements/operations/or_assign.out b/tests/expectations/compiler/statements/operations/or_assign.out
index 2117bb3073..fc73223443 100644
--- a/tests/expectations/compiler/statements/operations/or_assign.out
+++ b/tests/expectations/compiler/statements/operations/or_assign.out
@@ -4,6 +4,6 @@ expectation: Pass
 outputs:
   - output:
       - initial_input_ast: no input
-    initial_ast: 978bc6fd46ac4775e41d5b8078ce61eef257c97a3fc585e213b5307128067e20
-    unrolled_ast: 978bc6fd46ac4775e41d5b8078ce61eef257c97a3fc585e213b5307128067e20
-    ssa_ast: 3d49aeb4015f385cbfcc33e28a36681c8128928cf65a0db64dde8ff047e71a45
+    initial_ast: e99df465acadf6030a1d0a9bf36720f9def8b8776159804e96d5b7b7ebaae194
+    unrolled_ast: e99df465acadf6030a1d0a9bf36720f9def8b8776159804e96d5b7b7ebaae194
+    ssa_ast: 7e06811fc9004de87544f32416d691d8bdf1e904c6879c570753af8ab734584e
diff --git a/tests/expectations/compiler/statements/operations/pow_assign.out b/tests/expectations/compiler/statements/operations/pow_assign.out
index 3cc461b6ce..fde3a492ba 100644
--- a/tests/expectations/compiler/statements/operations/pow_assign.out
+++ b/tests/expectations/compiler/statements/operations/pow_assign.out
@@ -4,6 +4,6 @@ expectation: Pass
 outputs:
   - output:
       - initial_input_ast: no input
-    initial_ast: edf1653507935280044101520774858ca623c1143d2cbf3e9f1b47d9b0046ac8
-    unrolled_ast: edf1653507935280044101520774858ca623c1143d2cbf3e9f1b47d9b0046ac8
-    ssa_ast: eb68adaf9662312e37ccc64954acdea6fe930f61978f521a645fc96b4a503e7c
+    initial_ast: 7621b0ccbdea62773b8ff9ea18bb3260f274a83f81718a9056bfc206bff10808
+    unrolled_ast: 7621b0ccbdea62773b8ff9ea18bb3260f274a83f81718a9056bfc206bff10808
+    ssa_ast: ee72df4e3344366a0efc244ca4addffd8a2da67f94a005ec3707aa08a410f53b
diff --git a/tests/expectations/compiler/statements/operations/rem_assign.out b/tests/expectations/compiler/statements/operations/rem_assign.out
index 3f555f816c..e8baffd827 100644
--- a/tests/expectations/compiler/statements/operations/rem_assign.out
+++ b/tests/expectations/compiler/statements/operations/rem_assign.out
@@ -4,6 +4,6 @@ expectation: Pass
 outputs:
   - output:
       - initial_input_ast: no input
-    initial_ast: cd3b1de1b07277432951857f45d64bee68d71a56b04fd8d0efb1cbb61ef37c90
-    unrolled_ast: cd3b1de1b07277432951857f45d64bee68d71a56b04fd8d0efb1cbb61ef37c90
-    ssa_ast: 8f53c4c21e0a8e324bc3ec983bac6881bcf17ee6ca69df447296563c3bf9a880
+    initial_ast: 1884c9d9215f89779d3283ec0a74f458f5e018f2beb24b026a579f9d16fb8df5
+    unrolled_ast: 1884c9d9215f89779d3283ec0a74f458f5e018f2beb24b026a579f9d16fb8df5
+    ssa_ast: 6d0d095c00bb5a02a0dec2f3a98b82af86ee27fee27a1bcc0f948b3d1d86051a
diff --git a/tests/expectations/compiler/statements/operations/shl_assign.out b/tests/expectations/compiler/statements/operations/shl_assign.out
index 770fb265e7..51d4a30cb2 100644
--- a/tests/expectations/compiler/statements/operations/shl_assign.out
+++ b/tests/expectations/compiler/statements/operations/shl_assign.out
@@ -4,6 +4,6 @@ expectation: Pass
 outputs:
   - output:
       - initial_input_ast: no input
-    initial_ast: e594662f435fa83b601434715850fb69ded32e7110e760c2a51c02380c5db03d
-    unrolled_ast: e594662f435fa83b601434715850fb69ded32e7110e760c2a51c02380c5db03d
-    ssa_ast: 2e172b6e25c7836d8a1db62a5b10e06fd2ac5fd2f57198b2b3685f7fb7bc2444
+    initial_ast: ae23a657f21c5427e64f3f02ef6a622d874263972ae20af07daf0d9135b6bcbb
+    unrolled_ast: ae23a657f21c5427e64f3f02ef6a622d874263972ae20af07daf0d9135b6bcbb
+    ssa_ast: 6142bada18056659fc264642c6f9a6199ae95ed16e7bd28168551eeb0cd641ae
diff --git a/tests/expectations/compiler/statements/operations/shr_assign.out b/tests/expectations/compiler/statements/operations/shr_assign.out
index 30b0bc9180..a154f2201c 100644
--- a/tests/expectations/compiler/statements/operations/shr_assign.out
+++ b/tests/expectations/compiler/statements/operations/shr_assign.out
@@ -4,6 +4,6 @@ expectation: Pass
 outputs:
   - output:
       - initial_input_ast: no input
-    initial_ast: 38d6832f89cbab957369c03bca1468d7bfd2bf38cc4321d9605fb909c702bf3b
-    unrolled_ast: 38d6832f89cbab957369c03bca1468d7bfd2bf38cc4321d9605fb909c702bf3b
-    ssa_ast: 489b81dc37fc427ffdec92bb4d3e7249719eec2ce831ac691997ba3dcfa7709f
+    initial_ast: db923fbe40a3054a0a341d8240f7aba4496da54b661744efc89e2e7d0e8c04e5
+    unrolled_ast: db923fbe40a3054a0a341d8240f7aba4496da54b661744efc89e2e7d0e8c04e5
+    ssa_ast: 8770b7fba178e97b4c4478f13bc9acf4e4c6e3af8f07de76a012e7ceafd279b3
diff --git a/tests/expectations/compiler/statements/operations/sub_assign.out b/tests/expectations/compiler/statements/operations/sub_assign.out
index e6c0b28c8f..aa3e5b470b 100644
--- a/tests/expectations/compiler/statements/operations/sub_assign.out
+++ b/tests/expectations/compiler/statements/operations/sub_assign.out
@@ -4,6 +4,6 @@ expectation: Pass
 outputs:
   - output:
       - initial_input_ast: no input
-    initial_ast: a945b5e53875e9425b2111a350db3c3a6d8ee60d8551d5fa0cbbc23d6f52875f
-    unrolled_ast: a945b5e53875e9425b2111a350db3c3a6d8ee60d8551d5fa0cbbc23d6f52875f
-    ssa_ast: c85991170221b8fcec2d671cc15c16e1c5c3b5c0edabf297534c55dc2670d48f
+    initial_ast: 869b5929abbc5d2c73f7356b38fd508d3c857b79489f0818cc443e358a5a79ce
+    unrolled_ast: 869b5929abbc5d2c73f7356b38fd508d3c857b79489f0818cc443e358a5a79ce
+    ssa_ast: 0c74cbcc96fcff2fc3903528370a30ab69afd81b643c0175508f99630120f930
diff --git a/tests/expectations/compiler/tuple/function_early_return.out b/tests/expectations/compiler/tuple/function_early_return.out
index f4ff5ee19d..548845fd01 100644
--- a/tests/expectations/compiler/tuple/function_early_return.out
+++ b/tests/expectations/compiler/tuple/function_early_return.out
@@ -6,4 +6,4 @@ outputs:
       - initial_input_ast: 71350549991d77f8a5a6d8c91774c9bf1512f757bd2a0e57f9a2e0ecc717cd42
     initial_ast: 1628dd52c5c9ca6da95cb61c239ae8d5b62ffcf4c426a9fd50d2cc816348a2df
     unrolled_ast: 1628dd52c5c9ca6da95cb61c239ae8d5b62ffcf4c426a9fd50d2cc816348a2df
-    ssa_ast: eaf5ff66b66441f4799f47ed158d4563c34de7db6a48f0d46ed2bd9ea69aa1ae
+    ssa_ast: c9e8faa86e9bf9286cfba0f885e75ff19a21949aba2c92bc1c906a637bf7b905
diff --git a/tests/expectations/parser/statement/assign.out b/tests/expectations/parser/statement/assign.out
index a3e12f1b46..fb138e6810 100644
--- a/tests/expectations/parser/statement/assign.out
+++ b/tests/expectations/parser/statement/assign.out
@@ -3,7 +3,6 @@ namespace: ParseStatement
 expectation: Pass
 outputs:
   - Assign:
-      operation: Assign
       place:
         Identifier: "{\"name\":\"x\",\"span\":\"{\\\"lo\\\":0,\\\"hi\\\":1}\"}"
       value:
@@ -12,7 +11,6 @@ outputs:
         lo: 0
         hi: 8
   - Assign:
-      operation: Assign
       place:
         Identifier: "{\"name\":\"x\",\"span\":\"{\\\"lo\\\":0,\\\"hi\\\":1}\"}"
       value:
@@ -29,7 +27,6 @@ outputs:
         lo: 0
         hi: 7
   - Assign:
-      operation: Assign
       place:
         Identifier: "{\"name\":\"x\",\"span\":\"{\\\"lo\\\":0,\\\"hi\\\":1}\"}"
       value:
diff --git a/tests/expectations/parser/unreachable/math_op_pass.out b/tests/expectations/parser/unreachable/math_op_pass.out
index 01b3561a4c..1347044e70 100644
--- a/tests/expectations/parser/unreachable/math_op_pass.out
+++ b/tests/expectations/parser/unreachable/math_op_pass.out
@@ -122,7 +122,6 @@ outputs:
         lo: 0
         hi: 17
   - Assign:
-      operation: Assign
       place:
         Identifier: "{\"name\":\"x_\",\"span\":\"{\\\"lo\\\":0,\\\"hi\\\":2}\"}"
       value:
@@ -131,7 +130,6 @@ outputs:
         lo: 0
         hi: 4
   - Assign:
-      operation: Assign
       place:
         Identifier: "{\"name\":\"xconsole\",\"span\":\"{\\\"lo\\\":0,\\\"hi\\\":8}\"}"
       value:
@@ -140,7 +138,6 @@ outputs:
         lo: 0
         hi: 10
   - Assign:
-      operation: Assign
       place:
         Identifier: "{\"name\":\"xconst\",\"span\":\"{\\\"lo\\\":0,\\\"hi\\\":6}\"}"
       value:
@@ -149,7 +146,6 @@ outputs:
         lo: 0
         hi: 8
   - Assign:
-      operation: Assign
       place:
         Identifier: "{\"name\":\"xlet\",\"span\":\"{\\\"lo\\\":0,\\\"hi\\\":4}\"}"
       value:
@@ -158,7 +154,6 @@ outputs:
         lo: 0
         hi: 6
   - Assign:
-      operation: Assign
       place:
         Identifier: "{\"name\":\"xfor\",\"span\":\"{\\\"lo\\\":0,\\\"hi\\\":4}\"}"
       value:
@@ -167,7 +162,6 @@ outputs:
         lo: 0
         hi: 6
   - Assign:
-      operation: Assign
       place:
         Identifier: "{\"name\":\"xif\",\"span\":\"{\\\"lo\\\":0,\\\"hi\\\":3}\"}"
       value:
@@ -176,7 +170,6 @@ outputs:
         lo: 0
         hi: 5
   - Assign:
-      operation: Assign
       place:
         Identifier: "{\"name\":\"xelse\",\"span\":\"{\\\"lo\\\":0,\\\"hi\\\":5}\"}"
       value:
@@ -185,7 +178,6 @@ outputs:
         lo: 0
         hi: 7
   - Assign:
-      operation: Assign
       place:
         Identifier: "{\"name\":\"xi8\",\"span\":\"{\\\"lo\\\":0,\\\"hi\\\":3}\"}"
       value:
@@ -194,7 +186,6 @@ outputs:
         lo: 0
         hi: 5
   - Assign:
-      operation: Assign
       place:
         Identifier: "{\"name\":\"xi16\",\"span\":\"{\\\"lo\\\":0,\\\"hi\\\":4}\"}"
       value:
@@ -203,7 +194,6 @@ outputs:
         lo: 0
         hi: 6
   - Assign:
-      operation: Assign
       place:
         Identifier: "{\"name\":\"xi32\",\"span\":\"{\\\"lo\\\":0,\\\"hi\\\":4}\"}"
       value:
@@ -212,7 +202,6 @@ outputs:
         lo: 0
         hi: 6
   - Assign:
-      operation: Assign
       place:
         Identifier: "{\"name\":\"xi64\",\"span\":\"{\\\"lo\\\":0,\\\"hi\\\":4}\"}"
       value:
@@ -221,7 +210,6 @@ outputs:
         lo: 0
         hi: 6
   - Assign:
-      operation: Assign
       place:
         Identifier: "{\"name\":\"xi128\",\"span\":\"{\\\"lo\\\":0,\\\"hi\\\":5}\"}"
       value:
@@ -230,7 +218,6 @@ outputs:
         lo: 0
         hi: 7
   - Assign:
-      operation: Assign
       place:
         Identifier: "{\"name\":\"xu8\",\"span\":\"{\\\"lo\\\":0,\\\"hi\\\":3}\"}"
       value:
@@ -239,7 +226,6 @@ outputs:
         lo: 0
         hi: 5
   - Assign:
-      operation: Assign
       place:
         Identifier: "{\"name\":\"xu16\",\"span\":\"{\\\"lo\\\":0,\\\"hi\\\":4}\"}"
       value:
@@ -248,7 +234,6 @@ outputs:
         lo: 0
         hi: 6
   - Assign:
-      operation: Assign
       place:
         Identifier: "{\"name\":\"xu32\",\"span\":\"{\\\"lo\\\":0,\\\"hi\\\":4}\"}"
       value:
@@ -257,7 +242,6 @@ outputs:
         lo: 0
         hi: 6
   - Assign:
-      operation: Assign
       place:
         Identifier: "{\"name\":\"xu64\",\"span\":\"{\\\"lo\\\":0,\\\"hi\\\":4}\"}"
       value:
@@ -266,7 +250,6 @@ outputs:
         lo: 0
         hi: 6
   - Assign:
-      operation: Assign
       place:
         Identifier: "{\"name\":\"xu128\",\"span\":\"{\\\"lo\\\":0,\\\"hi\\\":5}\"}"
       value:
@@ -275,7 +258,6 @@ outputs:
         lo: 0
         hi: 7
   - Assign:
-      operation: Assign
       place:
         Identifier: "{\"name\":\"xreturn\",\"span\":\"{\\\"lo\\\":0,\\\"hi\\\":7}\"}"
       value:
@@ -284,7 +266,6 @@ outputs:
         lo: 0
         hi: 9
   - Assign:
-      operation: Assign
       place:
         Identifier: "{\"name\":\"xtrue\",\"span\":\"{\\\"lo\\\":0,\\\"hi\\\":5}\"}"
       value:
@@ -293,7 +274,6 @@ outputs:
         lo: 0
         hi: 7
   - Assign:
-      operation: Assign
       place:
         Identifier: "{\"name\":\"xfalse\",\"span\":\"{\\\"lo\\\":0,\\\"hi\\\":6}\"}"
       value:
@@ -302,7 +282,6 @@ outputs:
         lo: 0
         hi: 8
   - Assign:
-      operation: Assign
       place:
         Identifier: "{\"name\":\"x0\",\"span\":\"{\\\"lo\\\":0,\\\"hi\\\":2}\"}"
       value: