test_inputs/codegen/omega/iter9-0.c

   1 for (int c0 = 1; c0 <= 15; c0 += 1)
   2   if (8 * floord(7 * exprVar1 + 7, 8) + 8 >= 7 * exprVar1 + c0 || (exprVar1 + 8 * floord(-exprVar1 + c0 - 1, 8) + 1 == c0 && c0 >= exprVar1 + 1)) {
   3     s5(c0);
   4     if (8 * floord(7 * exprVar1 + 7, 8) + 8 >= 7 * exprVar1 + c0) {
   5       s0(c0);
   6       s4(c0);
   7       s1(c0);
   8       s3(c0);
   9       s2(c0);
  10     }
  11   }