5 schedule: '{ domain: "{ S_0[i] : 0 <= i <= 9 and (i >= 6 or i <= 4); S_2[]; S_1[]
6 }", child: { sequence: [ { filter: "{ S_0[i] }", child: { schedule: "L_0[{ S_0[i]
7 -> [(i)] }]" } }, { filter: "{ S_2[]; S_1[] }", child: { set: [ { filter: "{ S_1[]
8 }" }, { filter: "{ S_2[] }" } ] } } ] } }'
11 extent: '{ a[i0] : 0 <= i0 <= 9 }'
20 domain: '{ S_0[i] : 0 <= i <= 9 and (i >= 6 or i <= 4) }'
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] : 0 <= o0 <= 9 }'
60 index: '{ S_2[] -> a[] }'
62 reference: __pet_ref_3