tests/break4.scop

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