source: CIVL/mods/dev.civl.abc/examples/side-effects/out_nestedLoop.c

//====================== nestedLoop.c ======================
int fun(int a)
{
  return 0;
}
int main()
{
  int  data[1];
  {
    int i = 0;
    for (; i < 3; i = i + 1)
    {
      int j = 0;
      for (; 1; j = j - 1)
      {
        int $sef$0;
        if (!(j > 0))
          $sef$0 = 0;
        else
        {
          int $sef$1 = fun(data[j - 1]);
          $sef$0 = $sef$1 > 0;
        }
        if (!$sef$0)
          break;
        return 0;
      }
    }
  }
  return 0;
}