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