test_inputs/codegen/omega/lift1-1.c

   1 for (int c0 = 1; c0 <= 100; c0 += 1)
   2   for (int c1 = 1; c1 <= 100; c1 += 1)
   3     for (int c2 = 1; c2 <= 100; c2 += 1)
   4       for (int c3 = 1; c3 <= 100; c3 += 1)
   5         if (c0 >= 61) {
   6           for (int c4 = 1; c4 <= 100; c4 += 1)
   7             s1(c0, c1, c2, c3, c4);
   8         } else
   9           for (int c4 = 1; c4 <= 100; c4 += 1) {
  10             s1(c0, c1, c2, c3, c4);
  11             s0(c0, c1, c2, c3, c4);
  12           }