5 schedule: '{ domain: "{ S_0[] }" }'
12 extent: '{ test[i0] : i0 >= 0 }'
17 domain: '{ [S_0[] -> [i0]] : i0 <= -1 or i0 >= 1 }'
25 index: '{ S_0[] -> a[] }'
26 reference: __pet_ref_1
33 index: '[index] -> { S_0[] -> test[((index) : index >= 0)] }'
34 reference: __pet_ref_0