diff --git a/test_programs/execution_success/regression_7964/Nargo.toml b/test_programs/execution_success/regression_7964/Nargo.toml
new file mode 100644
index 00000000000..2d33b0aa94f
--- /dev/null
+++ b/test_programs/execution_success/regression_7964/Nargo.toml
@@ -0,0 +1,6 @@
+[package]
+name = "regression_7964"
+type = "bin"
+authors = [""]
+
+[dependencies]
diff --git a/test_programs/execution_success/regression_7964/Prover.toml b/test_programs/execution_success/regression_7964/Prover.toml
new file mode 100644
index 00000000000..a1d0f91003d
--- /dev/null
+++ b/test_programs/execution_success/regression_7964/Prover.toml
@@ -0,0 +1,2 @@
+a = 1
+return = 1
diff --git a/test_programs/execution_success/regression_7964/src/main.nr b/test_programs/execution_success/regression_7964/src/main.nr
new file mode 100644
index 00000000000..9bfe466b43d
--- /dev/null
+++ b/test_programs/execution_success/regression_7964/src/main.nr
@@ -0,0 +1,21 @@
+global G_A: bool = false;
+fn main(a: Field) -> pub Field {
+    if (
+        (
+            if (!G_A) {
+                if (!G_A) {
+                    (a as u128)
+                } else {
+                    (a as u128)
+                }
+            } else {
+                (a as u128)
+            }
+                <= (a as u128)
+        ) as bool
+    ) {
+        (-(-a))
+    } else {
+        (-(-a))
+    }
+}
diff --git a/test_programs/execution_success/regression_7964/stdout.txt b/test_programs/execution_success/regression_7964/stdout.txt
new file mode 100644
index 00000000000..c4e9d0593d0
--- /dev/null
+++ b/test_programs/execution_success/regression_7964/stdout.txt
@@ -0,0 +1 @@
+[regression_7964] Circuit output: Field(1)
\ No newline at end of file