5 schedule: '{ domain: "{ S_0[i] : (i <= 9 and i >= 7) or (i <= 4 and i >= 0); S_2[];
6 S_1[] }", child: { sequence: [ { filter: "{ S_0[i] }", child: { schedule: "L_0[{
7 S_0[i] -> [(i)] }]" } }, { filter: "{ S_2[]; S_1[] }", child: { set: [ { filter:
8 "{ S_1[] }" }, { filter: "{ S_2[] }" } ] } } ] } }'
11 extent: '{ a[i0] : i0 >= 0 and i0 <= 9 }'
20 domain: '{ S_0[i] : (i <= 9 and i >= 7) or (i <= 4 and i >= 0) }'
28 index: '{ S_0[i] -> a[(i)] }'
29 reference: __pet_ref_0
33 index: '{ S_0[i] -> [(i)] }'
34 reference: __pet_ref_1
46 killed: '{ S_1[] -> i[] }'
47 index: '{ S_1[] -> i[] }'
48 reference: __pet_ref_2
59 killed: '{ S_2[] -> a[o0] : o0 >= 0 and o0 <= 9 }'
60 index: '{ S_2[] -> a[] }'
62 reference: __pet_ref_3