tests/break4.scop

   1 start: 43
   2 end: 357
   3 indent: "\t"
   4 context: '{  :  }'
   5 schedule: '{ domain: "{ S_11[i, j] : i >= 0 and i <= 99 and j >= 0 and j <= 99; S_12[i,
   6   j] : i >= 0 and i <= 99 and j >= 0 and j <= 99; S_14[i, j] : i >= 0 and i <= 99
   7   and j >= 0 and j <= 99; S_15[i, j] : i >= 0 and i <= 99 and j >= 0 and j <= 99;
   8   S_19[]; S_18[]; S_10[i, j] : i >= 0 and i <= 99 and j >= 0 and j <= 99; S_13[i,
   9   j] : i >= 0 and i <= 99 and j >= 0 and j <= 99; S_6[i, j] : i >= 0 and i <= 99 and
  10   j >= 0 and j <= 99; S_3[i, j] : i >= 0 and i <= 99 and j >= 0 and j <= 99; S_16[i,
  11   j] : i >= 0 and i <= 99 and j >= 0 and j <= 99; S_8[i, j] : i >= 0 and i <= 99 and
  12   j >= 0 and j <= 99; S_9[i, j] : i >= 0 and i <= 99 and j >= 0 and j <= 99; S_17[i,
  13   j] : i >= 0 and i <= 99 and j >= 0 and j <= 99; S_20[]; S_0[i, j] : i >= 0 and i
  14   <= 99 and j >= 0 and j <= 99; S_2[i, j] : i >= 0 and i <= 99 and j >= 0 and j <=
  15   99; S_7[i, j] : i >= 0 and i <= 99 and j >= 0 and j <= 99; S_4[i, j] : i >= 0 and
  16   i <= 99 and j >= 0 and j <= 99; S_5[i, j] : i >= 0 and i <= 99 and j >= 0 and j
  17   <= 99; S_1[i, j] : i >= 0 and i <= 99 and j >= 81 and j <= 99 }", child: { sequence:
  18   [ { filter: "{ S_11[i, j]; S_12[i, j]; S_14[i, j]; S_15[i, j]; S_10[i, j]; S_13[i,
  19   j]; S_6[i, j]; S_3[i, j]; S_16[i, j]; S_8[i, j]; S_9[i, j]; S_17[i, j]; S_0[i, j];
  20   S_2[i, j]; S_7[i, j]; S_4[i, j]; S_5[i, j]; S_1[i, j] }", child: { schedule: "L_0[{
  21   S_11[i, j] -> [(i)]; S_12[i, j] -> [(i)]; S_14[i, j] -> [(i)]; S_15[i, j] -> [(i)];
  22   S_10[i, j] -> [(i)]; S_13[i, j] -> [(i)]; S_6[i, j] -> [(i)]; S_3[i, j] -> [(i)];
  23   S_16[i, j] -> [(i)]; S_8[i, j] -> [(i)]; S_9[i, j] -> [(i)]; S_17[i, j] -> [(i)];
  24   S_0[i, j] -> [(i)]; S_2[i, j] -> [(i)]; S_7[i, j] -> [(i)]; S_4[i, j] -> [(i)];
  25   S_5[i, j] -> [(i)]; S_1[i, j] -> [(i)] }]", child: { schedule: "L_1[{ S_11[i, j]
  26   -> [(j)]; S_12[i, j] -> [(j)]; S_14[i, j] -> [(j)]; S_15[i, j] -> [(j)]; S_10[i,
  27   j] -> [(j)]; S_13[i, j] -> [(j)]; S_6[i, j] -> [(j)]; S_3[i, j] -> [(j)]; S_16[i,
  28   j] -> [(j)]; S_8[i, j] -> [(j)]; S_9[i, j] -> [(j)]; S_17[i, j] -> [(j)]; S_0[i,
  29   j] -> [(j)]; S_2[i, j] -> [(j)]; S_7[i, j] -> [(j)]; S_4[i, j] -> [(j)]; S_5[i,
  30   j] -> [(j)]; S_1[i, j] -> [(j)] }]", child: { sequence: [ { filter: "{ S_0[i, j]
  31   }" }, { filter: "{ S_1[i, j] }" }, { filter: "{ S_2[i, j] }" }, { filter: "{ S_3[i,
  32   j] }" }, { filter: "{ S_4[i, j] }" }, { filter: "{ S_5[i, j] }" }, { filter: "{
  33   S_6[i, j] }" }, { filter: "{ S_7[i, j] }" }, { filter: "{ S_8[i, j] }" }, { filter:
  34   "{ S_9[i, j] }" }, { filter: "{ S_11[i, j]; S_10[i, j] }", child: { set: [ { filter:
  35   "{ S_10[i, j] }" }, { filter: "{ S_11[i, j] }" } ] } }, { filter: "{ S_12[i, j];
  36   S_13[i, j] }", child: { set: [ { filter: "{ S_12[i, j] }" }, { filter: "{ S_13[i,
  37   j] }" } ] } }, { filter: "{ S_14[i, j] }" }, { filter: "{ S_15[i, j]; S_16[i, j]
  38   }", child: { set: [ { filter: "{ S_15[i, j] }" }, { filter: "{ S_16[i, j] }" } ]
  39   } }, { filter: "{ S_17[i, j] }" } ] } } } }, { filter: "{ S_19[]; S_18[]; S_20[]
  40   }", child: { set: [ { filter: "{ S_18[] }" }, { filter: "{ S_19[] }" }, { filter:
  41   "{ S_20[] }" } ] } } ] } }'
  42 arrays:
  43 - context: '{  :  }'
  44   extent: '{ __pet_test_0[i, j] : i >= 0 and i <= 99 and j >= 81 and j <= 99 }'
  45   value_bounds: '{ [i0] : i0 >= 0 and i0 <= 1 }'
  46   element_type: int
  47   element_size: 4
  48   uniquely_defined: 1
  49 - context: '{  :  }'
  50   extent: '{ __pet_test_1[i, j] : i >= 0 and i <= 99 and j >= 0 and j <= 99 }'
  51   value_bounds: '{ [i0] : i0 >= 0 and i0 <= 1 }'
  52   element_type: int
  53   element_size: 4
  54   uniquely_defined: 1
  55 - context: '{  :  }'
  56   extent: '{ __pet_test_2[i, j] : i >= 0 and i <= 99 and j >= 0 and j <= 99 }'
  57   value_bounds: '{ [i0] : i0 >= 0 and i0 <= 1 }'
  58   element_type: int
  59   element_size: 4
  60   uniquely_defined: 1
  61 - context: '{  :  }'
  62   extent: '{ __pet_test_3[i, j] : i >= 0 and i <= 99 and j >= 0 and j <= 99 }'
  63   value_bounds: '{ [i0] : i0 >= 0 and i0 <= 1 }'
  64   element_type: int
  65   element_size: 4
  66   uniquely_defined: 1
  67 - context: '{  :  }'
  68   extent: '{ __pet_test_4[i, j] : i >= 0 and i <= 99 and j >= 0 and j <= 99 }'
  69   value_bounds: '{ [i0] : i0 >= 0 and i0 <= 1 }'
  70   element_type: int
  71   element_size: 4
  72   uniquely_defined: 1
  73 - context: '{  :  }'
  74   extent: '{ __pet_test_5[i, j] : i >= 0 and i <= 99 and j >= 0 and j <= 99 }'
  75   value_bounds: '{ [i0] : i0 >= 0 and i0 <= 1 }'
  76   element_type: int
  77   element_size: 4
  78   uniquely_defined: 1
  79 - context: '{  :  }'
  80   extent: '{ __pet_test_6[i, j] : i >= 0 and i <= 99 and j >= 0 and j <= 99 }'
  81   value_bounds: '{ [i0] : i0 >= 0 and i0 <= 1 }'
  82   element_type: int
  83   element_size: 4
  84   uniquely_defined: 1
  85 - context: '{  :  }'
  86   extent: '{ __pet_test_7[i, j] : i >= 0 and i <= 99 and j >= 0 and j <= 99 }'
  87   value_bounds: '{ [i0] : i0 >= 0 and i0 <= 1 }'
  88   element_type: int
  89   element_size: 4
  90   uniquely_defined: 1
  91 - context: '{  :  }'
  92   extent: '{ __pet_test_8[i, j] : i >= 0 and i <= 99 and j >= 0 and j <= 99 }'
  93   value_bounds: '{ [i0] : i0 >= 0 and i0 <= 1 }'
  94   element_type: int
  95   element_size: 4
  96   uniquely_defined: 1
  97 - context: '{  :  }'
  98   extent: '{ __pet_test_9[i, j] : i >= 0 and i <= 99 and j >= 0 and j <= 99 }'
  99   value_bounds: '{ [i0] : i0 >= 0 and i0 <= 1 }'
 100   element_type: int
 101   element_size: 4
 102   uniquely_defined: 1
 103 - context: '{  :  }'
 104   extent: '{ __pet_test_10[i, j] : i >= 0 and i <= 99 and j >= 0 and j <= 99 }'
 105   value_bounds: '{ [i0] : i0 >= 0 and i0 <= 1 }'
 106   element_type: int
 107   element_size: 4
 108   uniquely_defined: 1
 109 - context: '{  :  }'
 110   extent: '{ __pet_test_11[i, j] : i >= 0 and i <= 99 and j >= 0 and j <= 99 }'
 111   value_bounds: '{ [i0] : i0 >= 0 and i0 <= 1 }'
 112   element_type: int
 113   element_size: 4
 114   uniquely_defined: 1
 115 - context: '{  :  }'
 116   extent: '{ __pet_test_12[i, j] : i >= 0 and i <= 99 and j >= 0 and j <= 99 }'
 117   value_bounds: '{ [i0] : i0 >= 0 and i0 <= 1 }'
 118   element_type: int
 119   element_size: 4
 120   uniquely_defined: 1
 121 - context: '{  :  }'
 122   extent: '{ a[i0] : i0 >= 0 and i0 <= 99 }'
 123   element_type: int
 124   element_size: 4
 125 - context: '{  :  }'
 126   extent: '{ i[] }'
 127   element_type: int
 128   element_size: 4
 129 - context: '{  :  }'
 130   extent: '{ j[] }'
 131   element_type: int
 132   element_size: 4
 133 statements:
 134 - line: 10
 135   domain: '{ [S_0[i, j] -> [0]] : i >= 0 and i <= 99 and j >= 0 and j <= 99 }'
 136   body:
 137     type: expression
 138     expr:
 139       type: op
 140       operation: =
 141       arguments:
 142       - type: access
 143         index: '{ S_0[i, j] -> a[(i)] }'
 144         reference: __pet_ref_1
 145         read: 0
 146         write: 1
 147       - type: int
 148         value: 0
 149   arguments:
 150   - type: access
 151     index: '{ S_0[i, j] -> __pet_test_12[(i), ((-1 + j) : j >= 1)] }'
 152     reference: __pet_ref_0
 153     read: 1
 154     write: 0
 155 - line: 12
 156   domain: '{ [S_1[i, j] -> [0]] : i >= 0 and i <= 99 and j >= 81 and j <= 99 }'
 157   body:
 158     type: expression
 159     expr:
 160       type: op
 161       operation: =
 162       arguments:
 163       - type: access
 164         index: '{ S_1[i, j] -> __pet_test_0[(i), (j)] }'
 165         reference: __pet_ref_3
 166         read: 0
 167         write: 1
 168       - type: call
 169         name: f
 170   arguments:
 171   - type: access
 172     index: '{ S_1[i, j] -> __pet_test_12[(i), (-1 + j)] }'
 173     reference: __pet_ref_2
 174     read: 1
 175     write: 0
 176 - line: -1
 177   domain: '{ [S_2[i, j] -> [0]] : i >= 0 and i <= 99 and j >= 0 and j <= 99 }'
 178   body:
 179     type: expression
 180     expr:
 181       type: op
 182       operation: =
 183       arguments:
 184       - type: access
 185         index: '{ S_2[i, j] -> __pet_test_1[(i), (j)] }'
 186         reference: __pet_ref_5
 187         read: 0
 188         write: 1
 189       - type: op
 190         operation: '?:'
 191         arguments:
 192         - type: access
 193           index: '{ S_2[i, j] -> [((1) : j >= 81; (0) : j <= 80)] }'
 194           reference: __pet_ref_6
 195           read: 1
 196           write: 0
 197         - type: access
 198           may_read: '{ S_2[i, j] -> __pet_test_0[i, j] : j >= 81 }'
 199           index: '{ S_2[i, j] -> __pet_test_0[(i), (j)] }'
 200           reference: __pet_ref_7
 201           read: 1
 202           write: 0
 203         - type: access
 204           index: '{ S_2[i, j] -> [(0)] }'
 205           reference: __pet_ref_8
 206           read: 1
 207           write: 0
 208   arguments:
 209   - type: access
 210     index: '{ S_2[i, j] -> __pet_test_12[(i), ((-1 + j) : j >= 1)] }'
 211     reference: __pet_ref_4
 212     read: 1
 213     write: 0
 214 - line: 15
 215   domain: '{ [S_3[i, j] -> [0, 0]] : i >= 0 and i <= 99 and j >= 0 and j <= 99 }'
 216   body:
 217     type: expression
 218     expr:
 219       type: op
 220       operation: =
 221       arguments:
 222       - type: access
 223         index: '{ S_3[i, j] -> __pet_test_2[(i), (j)] }'
 224         reference: __pet_ref_11
 225         read: 0
 226         write: 1
 227       - type: call
 228         name: f
 229   arguments:
 230   - type: access
 231     index: '{ S_3[i, j] -> __pet_test_12[(i), ((-1 + j) : j >= 1)] }'
 232     reference: __pet_ref_9
 233     read: 1
 234     write: 0
 235   - type: access
 236     index: '{ S_3[i, j] -> __pet_test_1[(i), (j)] }'
 237     reference: __pet_ref_10
 238     read: 1
 239     write: 0
 240 - line: 16
 241   domain: '{ [S_4[i, j] -> [0, 0, 1]] : i >= 0 and i <= 99 and j >= 0 and j <= 99
 242     }'
 243   body:
 244     type: expression
 245     expr:
 246       type: op
 247       operation: =
 248       arguments:
 249       - type: access
 250         index: '{ S_4[i, j] -> __pet_test_3[(i), (j)] }'
 251         reference: __pet_ref_15
 252         read: 0
 253         write: 1
 254       - type: call
 255         name: f
 256   arguments:
 257   - type: access
 258     index: '{ S_4[i, j] -> __pet_test_12[(i), ((-1 + j) : j >= 1)] }'
 259     reference: __pet_ref_12
 260     read: 1
 261     write: 0
 262   - type: access
 263     index: '{ S_4[i, j] -> __pet_test_1[(i), (j)] }'
 264     reference: __pet_ref_13
 265     read: 1
 266     write: 0
 267   - type: access
 268     index: '{ S_4[i, j] -> __pet_test_2[(i), (j)] }'
 269     reference: __pet_ref_14
 270     read: 1
 271     write: 0
 272 - line: 18
 273   domain: '{ [S_5[i, j] -> [0, 0, 1, 0]] : i >= 0 and i <= 99 and j >= 0 and j <=
 274     99 }'
 275   body:
 276     type: expression
 277     expr:
 278       type: op
 279       operation: =
 280       arguments:
 281       - type: access
 282         index: '{ S_5[i, j] -> a[(i)] }'
 283         reference: __pet_ref_20
 284         read: 0
 285         write: 1
 286       - type: int
 287         value: 1
 288   arguments:
 289   - type: access
 290     index: '{ S_5[i, j] -> __pet_test_12[(i), ((-1 + j) : j >= 1)] }'
 291     reference: __pet_ref_16
 292     read: 1
 293     write: 0
 294   - type: access
 295     index: '{ S_5[i, j] -> __pet_test_1[(i), (j)] }'
 296     reference: __pet_ref_17
 297     read: 1
 298     write: 0
 299   - type: access
 300     index: '{ S_5[i, j] -> __pet_test_2[(i), (j)] }'
 301     reference: __pet_ref_18
 302     read: 1
 303     write: 0
 304   - type: access
 305     index: '{ S_5[i, j] -> __pet_test_3[(i), (j)] }'
 306     reference: __pet_ref_19
 307     read: 1
 308     write: 0
 309 - line: 19
 310   domain: '{ [S_6[i, j] -> [0, 0, 1, 0]] : i >= 0 and i <= 99 and j >= 0 and j <=
 311     99 }'
 312   body:
 313     type: expression
 314     expr:
 315       type: op
 316       operation: =
 317       arguments:
 318       - type: access
 319         index: '{ S_6[i, j] -> __pet_test_4[(i), (j)] }'
 320         reference: __pet_ref_25
 321         read: 0
 322         write: 1
 323       - type: call
 324         name: f
 325   arguments:
 326   - type: access
 327     index: '{ S_6[i, j] -> __pet_test_12[(i), ((-1 + j) : j >= 1)] }'
 328     reference: __pet_ref_21
 329     read: 1
 330     write: 0
 331   - type: access
 332     index: '{ S_6[i, j] -> __pet_test_1[(i), (j)] }'
 333     reference: __pet_ref_22
 334     read: 1
 335     write: 0
 336   - type: access
 337     index: '{ S_6[i, j] -> __pet_test_2[(i), (j)] }'
 338     reference: __pet_ref_23
 339     read: 1
 340     write: 0
 341   - type: access
 342     index: '{ S_6[i, j] -> __pet_test_3[(i), (j)] }'
 343     reference: __pet_ref_24
 344     read: 1
 345     write: 0
 346 - line: 22
 347   domain: '{ [S_7[i, j] -> [0, 0, 1, 0, 0]] : i >= 0 and i <= 99 and j >= 0 and j
 348     <= 99 }'
 349   body:
 350     type: expression
 351     expr:
 352       type: op
 353       operation: =
 354       arguments:
 355       - type: access
 356         index: '{ S_7[i, j] -> a[(i)] }'
 357         reference: __pet_ref_31
 358         read: 0
 359         write: 1
 360       - type: int
 361         value: 2
 362   arguments:
 363   - type: access
 364     index: '{ S_7[i, j] -> __pet_test_12[(i), ((-1 + j) : j >= 1)] }'
 365     reference: __pet_ref_26
 366     read: 1
 367     write: 0
 368   - type: access
 369     index: '{ S_7[i, j] -> __pet_test_1[(i), (j)] }'
 370     reference: __pet_ref_27
 371     read: 1
 372     write: 0
 373   - type: access
 374     index: '{ S_7[i, j] -> __pet_test_2[(i), (j)] }'
 375     reference: __pet_ref_28
 376     read: 1
 377     write: 0
 378   - type: access
 379     index: '{ S_7[i, j] -> __pet_test_3[(i), (j)] }'
 380     reference: __pet_ref_29
 381     read: 1
 382     write: 0
 383   - type: access
 384     index: '{ S_7[i, j] -> __pet_test_4[(i), (j)] }'
 385     reference: __pet_ref_30
 386     read: 1
 387     write: 0
 388 - line: -1
 389   domain: '{ [S_8[i, j] -> [0, 0, 1]] : i >= 0 and i <= 99 and j >= 0 and j <= 99
 390     }'
 391   body:
 392     type: expression
 393     expr:
 394       type: op
 395       operation: =
 396       arguments:
 397       - type: access
 398         index: '{ S_8[i, j] -> __pet_test_5[(i), (j)] }'
 399         reference: __pet_ref_35
 400         read: 0
 401         write: 1
 402       - type: op
 403         operation: '?:'
 404         arguments:
 405         - type: access
 406           index: '{ S_8[i, j] -> __pet_test_3[(i), (j)] }'
 407           reference: __pet_ref_36
 408           read: 1
 409           write: 0
 410         - type: access
 411           index: '{ S_8[i, j] -> [(1)] }'
 412           reference: __pet_ref_37
 413           read: 1
 414           write: 0
 415         - type: access
 416           may_read: '{ [S_8[i, j] -> [0]] -> __pet_test_4[i, j] }'
 417           index: '{ [S_8[i, j] -> [__pet_test_3]] -> __pet_test_4[(i), (j)] }'
 418           reference: __pet_ref_39
 419           read: 1
 420           write: 0
 421           arguments:
 422           - type: access
 423             index: '{ S_8[i, j] -> __pet_test_3[(i), (j)] }'
 424             reference: __pet_ref_38
 425             read: 1
 426             write: 0
 427   arguments:
 428   - type: access
 429     index: '{ S_8[i, j] -> __pet_test_12[(i), ((-1 + j) : j >= 1)] }'
 430     reference: __pet_ref_32
 431     read: 1
 432     write: 0
 433   - type: access
 434     index: '{ S_8[i, j] -> __pet_test_1[(i), (j)] }'
 435     reference: __pet_ref_33
 436     read: 1
 437     write: 0
 438   - type: access
 439     index: '{ S_8[i, j] -> __pet_test_2[(i), (j)] }'
 440     reference: __pet_ref_34
 441     read: 1
 442     write: 0
 443 - line: 23
 444   domain: '{ [S_9[i, j] -> [0, 0, 1, 0]] : i >= 0 and i <= 99 and j >= 0 and j <=
 445     99 }'
 446   body:
 447     type: expression
 448     expr:
 449       type: op
 450       operation: =
 451       arguments:
 452       - type: access
 453         index: '{ S_9[i, j] -> a[(i)] }'
 454         reference: __pet_ref_44
 455         read: 0
 456         write: 1
 457       - type: int
 458         value: 3
 459   arguments:
 460   - type: access
 461     index: '{ S_9[i, j] -> __pet_test_12[(i), ((-1 + j) : j >= 1)] }'
 462     reference: __pet_ref_40
 463     read: 1
 464     write: 0
 465   - type: access
 466     index: '{ S_9[i, j] -> __pet_test_1[(i), (j)] }'
 467     reference: __pet_ref_41
 468     read: 1
 469     write: 0
 470   - type: access
 471     index: '{ S_9[i, j] -> __pet_test_2[(i), (j)] }'
 472     reference: __pet_ref_42
 473     read: 1
 474     write: 0
 475   - type: access
 476     index: '{ S_9[i, j] -> __pet_test_5[(i), (j)] }'
 477     reference: __pet_ref_43
 478     read: 1
 479     write: 0
 480 - line: -1
 481   domain: '{ [S_10[i, j] -> [0, 0]] : i >= 0 and i <= 99 and j >= 0 and j <= 99 }'
 482   body:
 483     type: expression
 484     expr:
 485       type: op
 486       operation: =
 487       arguments:
 488       - type: access
 489         index: '{ S_10[i, j] -> __pet_test_6[(i), (j)] }'
 490         reference: __pet_ref_47
 491         read: 0
 492         write: 1
 493       - type: op
 494         operation: '?:'
 495         arguments:
 496         - type: access
 497           index: '{ S_10[i, j] -> __pet_test_2[(i), (j)] }'
 498           reference: __pet_ref_48
 499           read: 1
 500           write: 0
 501         - type: access
 502           may_read: '{ [S_10[i, j] -> [1]] -> __pet_test_5[i, j] }'
 503           index: '{ [S_10[i, j] -> [__pet_test_2]] -> __pet_test_5[(i), (j)] }'
 504           reference: __pet_ref_50
 505           read: 1
 506           write: 0
 507           arguments:
 508           - type: access
 509             index: '{ S_10[i, j] -> __pet_test_2[(i), (j)] }'
 510             reference: __pet_ref_49
 511             read: 1
 512             write: 0
 513         - type: access
 514           index: '{ S_10[i, j] -> [(0)] }'
 515           reference: __pet_ref_51
 516           read: 1
 517           write: 0
 518   arguments:
 519   - type: access
 520     index: '{ S_10[i, j] -> __pet_test_12[(i), ((-1 + j) : j >= 1)] }'
 521     reference: __pet_ref_45
 522     read: 1
 523     write: 0
 524   - type: access
 525     index: '{ S_10[i, j] -> __pet_test_1[(i), (j)] }'
 526     reference: __pet_ref_46
 527     read: 1
 528     write: 0
 529 - line: -1
 530   domain: '{ [S_11[i, j] -> [0, 0]] : i >= 0 and i <= 99 and j >= 0 and j <= 99 }'
 531   body:
 532     type: expression
 533     expr:
 534       type: op
 535       operation: =
 536       arguments:
 537       - type: access
 538         index: '{ S_11[i, j] -> __pet_test_7[(i), (j)] }'
 539         reference: __pet_ref_54
 540         read: 0
 541         write: 1
 542       - type: op
 543         operation: '?:'
 544         arguments:
 545         - type: access
 546           index: '{ S_11[i, j] -> __pet_test_2[(i), (j)] }'
 547           reference: __pet_ref_55
 548           read: 1
 549           write: 0
 550         - type: access
 551           may_read: '{ [S_11[i, j] -> [1]] -> __pet_test_3[i, j] }'
 552           index: '{ [S_11[i, j] -> [__pet_test_2]] -> __pet_test_3[(i), (j)] }'
 553           reference: __pet_ref_57
 554           read: 1
 555           write: 0
 556           arguments:
 557           - type: access
 558             index: '{ S_11[i, j] -> __pet_test_2[(i), (j)] }'
 559             reference: __pet_ref_56
 560             read: 1
 561             write: 0
 562         - type: access
 563           index: '{ S_11[i, j] -> [(0)] }'
 564           reference: __pet_ref_58
 565           read: 1
 566           write: 0
 567   arguments:
 568   - type: access
 569     index: '{ S_11[i, j] -> __pet_test_12[(i), ((-1 + j) : j >= 1)] }'
 570     reference: __pet_ref_52
 571     read: 1
 572     write: 0
 573   - type: access
 574     index: '{ S_11[i, j] -> __pet_test_1[(i), (j)] }'
 575     reference: __pet_ref_53
 576     read: 1
 577     write: 0
 578 - line: -1
 579   domain: '{ [S_12[i, j] -> [0]] : i >= 0 and i <= 99 and j >= 0 and j <= 99 }'
 580   body:
 581     type: expression
 582     expr:
 583       type: op
 584       operation: =
 585       arguments:
 586       - type: access
 587         index: '{ S_12[i, j] -> __pet_test_8[(i), (j)] }'
 588         reference: __pet_ref_60
 589         read: 0
 590         write: 1
 591       - type: op
 592         operation: '?:'
 593         arguments:
 594         - type: access
 595           index: '{ S_12[i, j] -> __pet_test_1[(i), (j)] }'
 596           reference: __pet_ref_61
 597           read: 1
 598           write: 0
 599         - type: access
 600           index: '{ S_12[i, j] -> [(1)] }'
 601           reference: __pet_ref_62
 602           read: 1
 603           write: 0
 604         - type: access
 605           may_read: '{ [S_12[i, j] -> [0]] -> __pet_test_6[i, j] }'
 606           index: '{ [S_12[i, j] -> [__pet_test_1]] -> __pet_test_6[(i), (j)] }'
 607           reference: __pet_ref_64
 608           read: 1
 609           write: 0
 610           arguments:
 611           - type: access
 612             index: '{ S_12[i, j] -> __pet_test_1[(i), (j)] }'
 613             reference: __pet_ref_63
 614             read: 1
 615             write: 0
 616   arguments:
 617   - type: access
 618     index: '{ S_12[i, j] -> __pet_test_12[(i), ((-1 + j) : j >= 1)] }'
 619     reference: __pet_ref_59
 620     read: 1
 621     write: 0
 622 - line: -1
 623   domain: '{ [S_13[i, j] -> [0]] : i >= 0 and i <= 99 and j >= 0 and j <= 99 }'
 624   body:
 625     type: expression
 626     expr:
 627       type: op
 628       operation: =
 629       arguments:
 630       - type: access
 631         index: '{ S_13[i, j] -> __pet_test_9[(i), (j)] }'
 632         reference: __pet_ref_66
 633         read: 0
 634         write: 1
 635       - type: op
 636         operation: '?:'
 637         arguments:
 638         - type: access
 639           index: '{ S_13[i, j] -> __pet_test_1[(i), (j)] }'
 640           reference: __pet_ref_67
 641           read: 1
 642           write: 0
 643         - type: access
 644           index: '{ S_13[i, j] -> [(1)] }'
 645           reference: __pet_ref_68
 646           read: 1
 647           write: 0
 648         - type: access
 649           may_read: '{ [S_13[i, j] -> [0]] -> __pet_test_7[i, j] }'
 650           index: '{ [S_13[i, j] -> [__pet_test_1]] -> __pet_test_7[(i), (j)] }'
 651           reference: __pet_ref_70
 652           read: 1
 653           write: 0
 654           arguments:
 655           - type: access
 656             index: '{ S_13[i, j] -> __pet_test_1[(i), (j)] }'
 657             reference: __pet_ref_69
 658             read: 1
 659             write: 0
 660   arguments:
 661   - type: access
 662     index: '{ S_13[i, j] -> __pet_test_12[(i), ((-1 + j) : j >= 1)] }'
 663     reference: __pet_ref_65
 664     read: 1
 665     write: 0
 666 - line: 25
 667   domain: '{ [S_14[i, j] -> [0, 0]] : i >= 0 and i <= 99 and j >= 0 and j <= 99 }'
 668   body:
 669     type: expression
 670     expr:
 671       type: op
 672       operation: =
 673       arguments:
 674       - type: access
 675         index: '{ S_14[i, j] -> __pet_test_10[(i), (j)] }'
 676         reference: __pet_ref_73
 677         read: 0
 678         write: 1
 679       - type: call
 680         name: f
 681   arguments:
 682   - type: access
 683     index: '{ S_14[i, j] -> __pet_test_12[(i), ((-1 + j) : j >= 1)] }'
 684     reference: __pet_ref_71
 685     read: 1
 686     write: 0
 687   - type: access
 688     index: '{ S_14[i, j] -> __pet_test_8[(i), (j)] }'
 689     reference: __pet_ref_72
 690     read: 1
 691     write: 0
 692 - line: -1
 693   domain: '{ [S_15[i, j] -> [0]] : i >= 0 and i <= 99 and j >= 0 and j <= 99 }'
 694   body:
 695     type: expression
 696     expr:
 697       type: op
 698       operation: =
 699       arguments:
 700       - type: access
 701         index: '{ S_15[i, j] -> __pet_test_11[(i), (j)] }'
 702         reference: __pet_ref_75
 703         read: 0
 704         write: 1
 705       - type: op
 706         operation: '?:'
 707         arguments:
 708         - type: access
 709           index: '{ S_15[i, j] -> __pet_test_8[(i), (j)] }'
 710           reference: __pet_ref_76
 711           read: 1
 712           write: 0
 713         - type: access
 714           index: '{ S_15[i, j] -> [(1)] }'
 715           reference: __pet_ref_77
 716           read: 1
 717           write: 0
 718         - type: access
 719           may_read: '{ [S_15[i, j] -> [0]] -> __pet_test_10[i, j] }'
 720           index: '{ [S_15[i, j] -> [__pet_test_8]] -> __pet_test_10[(i), (j)] }'
 721           reference: __pet_ref_79
 722           read: 1
 723           write: 0
 724           arguments:
 725           - type: access
 726             index: '{ S_15[i, j] -> __pet_test_8[(i), (j)] }'
 727             reference: __pet_ref_78
 728             read: 1
 729             write: 0
 730   arguments:
 731   - type: access
 732     index: '{ S_15[i, j] -> __pet_test_12[(i), ((-1 + j) : j >= 1)] }'
 733     reference: __pet_ref_74
 734     read: 1
 735     write: 0
 736 - line: -1
 737   domain: '{ [S_16[i, j] -> [0]] : i >= 0 and i <= 99 and j >= 0 and j <= 99 }'
 738   body:
 739     type: expression
 740     expr:
 741       type: op
 742       operation: =
 743       arguments:
 744       - type: access
 745         index: '{ S_16[i, j] -> __pet_test_12[(i), (j)] }'
 746         reference: __pet_ref_81
 747         read: 0
 748         write: 1
 749       - type: op
 750         operation: '?:'
 751         arguments:
 752         - type: access
 753           index: '{ S_16[i, j] -> __pet_test_9[(i), (j)] }'
 754           reference: __pet_ref_82
 755           read: 1
 756           write: 0
 757         - type: access
 758           index: '{ S_16[i, j] -> [(1)] }'
 759           reference: __pet_ref_83
 760           read: 1
 761           write: 0
 762         - type: access
 763           may_read: '{ [S_16[i, j] -> [0]] -> __pet_test_10[i, j] }'
 764           index: '{ [S_16[i, j] -> [__pet_test_9]] -> __pet_test_10[(i), (j)] }'
 765           reference: __pet_ref_85
 766           read: 1
 767           write: 0
 768           arguments:
 769           - type: access
 770             index: '{ S_16[i, j] -> __pet_test_9[(i), (j)] }'
 771             reference: __pet_ref_84
 772             read: 1
 773             write: 0
 774   arguments:
 775   - type: access
 776     index: '{ S_16[i, j] -> __pet_test_12[(i), ((-1 + j) : j >= 1)] }'
 777     reference: __pet_ref_80
 778     read: 1
 779     write: 0
 780 - line: 27
 781   domain: '{ [S_17[i, j] -> [0, 0]] : i >= 0 and i <= 99 and j >= 0 and j <= 99 }'
 782   body:
 783     type: expression
 784     expr:
 785       type: op
 786       operation: =
 787       arguments:
 788       - type: access
 789         index: '{ S_17[i, j] -> a[(i)] }'
 790         reference: __pet_ref_88
 791         read: 0
 792         write: 1
 793       - type: op
 794         operation: +
 795         arguments:
 796         - type: access
 797           index: '{ S_17[i, j] -> [(i)] }'
 798           reference: __pet_ref_89
 799           read: 1
 800           write: 0
 801         - type: access
 802           index: '{ S_17[i, j] -> [(j)] }'
 803           reference: __pet_ref_90
 804           read: 1
 805           write: 0
 806   arguments:
 807   - type: access
 808     index: '{ S_17[i, j] -> __pet_test_12[(i), ((-1 + j) : j >= 1)] }'
 809     reference: __pet_ref_86
 810     read: 1
 811     write: 0
 812   - type: access
 813     index: '{ S_17[i, j] -> __pet_test_11[(i), (j)] }'
 814     reference: __pet_ref_87
 815     read: 1
 816     write: 0
 817 - line: -1
 818   domain: '{ S_18[] }'
 819   body:
 820     type: expression
 821     expr:
 822       type: op
 823       operation: kill
 824       arguments:
 825       - type: access
 826         killed: '{ S_18[] -> i[] }'
 827         index: '{ S_18[] -> i[] }'
 828         reference: __pet_ref_91
 829         kill: 1
 830 - line: -1
 831   domain: '{ S_19[] }'
 832   body:
 833     type: expression
 834     expr:
 835       type: op
 836       operation: kill
 837       arguments:
 838       - type: access
 839         killed: '{ S_19[] -> j[] }'
 840         index: '{ S_19[] -> j[] }'
 841         reference: __pet_ref_92
 842         kill: 1
 843 - line: -1
 844   domain: '{ S_20[] }'
 845   body:
 846     type: expression
 847     expr:
 848       type: op
 849       operation: kill
 850       arguments:
 851       - type: access
 852         killed: '{ S_20[] -> a[o0] : o0 >= 0 and o0 <= 99 }'
 853         index: '{ S_20[] -> a[] }'
 854         depth: 1
 855         reference: __pet_ref_93
 856         kill: 1
 857 implications:
 858 - satisfied: 0
 859   extension: '{ __pet_test_12[i, j] -> __pet_test_12[i, j''] : j'' <= j and i <= 99
 860     and i >= 0 and j'' <= 99 and j'' >= 0 }'