loop canon bounds doesn't work for test2 in fork_join_tests

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(*);

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;