5 schedule: '{ domain: "{ S_0[]; S_2[]; S_1[] }", child: { sequence: [ { filter: "{
6 S_0[] }" }, { filter: "{ S_1[] }" }, { filter: "{ S_2[] }" } ] } }'
13 extent: '{ a[i0] : i0 >= 0 and i0 <= 9 }'
23 schedule: '{ S_0[] -> [0] }'
31 index: '{ S_0[] -> c[] }'
32 reference: __pet_ref_0
36 index: '{ S_0[] -> N[] }'
37 reference: __pet_ref_1
42 schedule: '{ S_1[] -> [1] }'
50 index: '{ S_1[] -> N[] }'
51 reference: __pet_ref_2
58 schedule: '{ S_2[] -> [2] }'
66 index: '{ [S_2[] -> [i0]] -> a[((i0) : i0 >= 0)] }'
67 reference: __pet_ref_4
72 index: '{ S_2[] -> c[] }'
73 reference: __pet_ref_3