diff --git a/juno_samples/fork_join_tests/src/cpu.sch b/juno_samples/fork_join_tests/src/cpu.sch
index 7c416e904ad5d43a5297496b6de40037f5b9b553..115cf171989303f0cef999cdfc6bbc1c1fb05e94 100644
--- a/juno_samples/fork_join_tests/src/cpu.sch
+++ b/juno_samples/fork_join_tests/src/cpu.sch
@@ -25,6 +25,12 @@ gvn(*);
 phi-elim(*);
 dce(*);
 
+xdot[true](auto.test2);
+lift-dc-math(auto.test2);
+xdot[true](auto.test2);
+loop-bound-canon(auto.test2);
+xdot[true](auto.test2);
+
 fixpoint panic after 20 {
   forkify(*);
   fork-guard-elim(*);
diff --git a/juno_samples/fork_join_tests/src/fork_join_tests.jn b/juno_samples/fork_join_tests/src/fork_join_tests.jn
index 8f569cfbe75105054e60c5d9bbb84b8ebbac6041..51115f1576edd1d555395717bdc1dcb4e82a2529 100644
--- a/juno_samples/fork_join_tests/src/fork_join_tests.jn
+++ b/juno_samples/fork_join_tests/src/fork_join_tests.jn
@@ -12,7 +12,7 @@ fn test1(input : i32) -> i32[4, 4] {
 #[entry]
 fn test2(input : i32) -> i32[4, 5] {
   let arr : i32[4, 5];
-  @loop1 for i = 0 to 8 {
+  @loop1 for i = 1 to 9 {
     @loop2 for k = 0 to 5 {
       @loop3 for j = 0 to 4 {
         arr[j, k] += input;