test_inputs/codegen/omega/if_then-2.c

   1 for (int c0 = 1; c0 <= 100; c0 += 1)
   2   if (n >= 2) {
   3     s0(c0);
   4     for (int c1 = 1; c1 <= 100; c1 += 1) {
   5       s1(c0, c1);
   6       s2(c0, c1);
   7     }
   8   } else
   9     for (int c1 = 1; c1 <= 100; c1 += 1)
  10       s2(c0, c1);