tests/break4.scop

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