5 schedule: '{ domain: "{ S_0[i] : i >= 5 and i <= 6 }", child: { schedule: "L_0[{ S_0[i]
9 extent: '{ a[i0] : i0 >= 0 and i0 <= 9 }'
14 domain: '{ S_0[i] : i >= 5 and i <= 6 }'
22 index: '{ S_0[i] -> a[(i)] }'
23 reference: __pet_ref_0
27 index: '{ S_0[i] -> [(i)] }'
28 reference: __pet_ref_1