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