diff --git a/test_programs/execution_success/global_var_regression_simple/src/main.nr b/test_programs/execution_success/global_var_regression_simple/src/main.nr
index b1bf753a73c..afc1bb181b8 100644
--- a/test_programs/execution_success/global_var_regression_simple/src/main.nr
+++ b/test_programs/execution_success/global_var_regression_simple/src/main.nr
@@ -11,6 +11,8 @@ fn main(x: Field, y: pub Field) {
     assert(x != y);
 
     dummy_again(x, y);
+    dummy_again(x, y);
+    dummy_again(x, y);
 }
 
 fn dummy_again(x: Field, y: Field) {
diff --git a/test_programs/execution_success/regression_4709/src/main.nr b/test_programs/execution_success/regression_4709/src/main.nr
index 9d730542641..2f2d05600fd 100644
--- a/test_programs/execution_success/regression_4709/src/main.nr
+++ b/test_programs/execution_success/regression_4709/src/main.nr
@@ -3851,4 +3851,18 @@ fn main(x: Field, y: pub Field) {
     }
     assert(!acc.lt(x));
     assert(x != y);
+
+    dummy_again(x, y);
+}
+
+fn dummy_again(x: Field, y: Field) {
+    let mut acc: Field = 0;
+    for i in 0..257 {
+        for j in 0..257 {
+            acc += EXPONENTIATE[i][j];
+        }
+    }
+    assert(!acc.lt(x));
+    assert(x != y);
 }
+