5 schedule: '{ domain: "{ S_3[]; S_0[]; S_5[]; S_2[]; S_1[]; S_4[] }", child: { sequence:
6 [ { filter: "{ S_0[] }" }, { filter: "{ S_1[] }" }, { filter: "{ S_2[] }" }, { filter:
7 "{ S_3[] }" }, { filter: "{ S_4[] }" }, { filter: "{ S_5[] }" } ] } }'
22 extent: '{ a[i0] : i0 >= 0 and i0 <= 9 }'
28 schedule: '{ S_0[] -> [0, 0] }'
36 killed: '{ S_0[] -> b[] }'
37 index: '{ S_0[] -> b[] }'
38 reference: __pet_ref_0
42 schedule: '{ S_1[] -> [0, 1] }'
50 index: '{ S_1[] -> b[] }'
51 reference: __pet_ref_1
58 schedule: '{ S_2[] -> [1, 0] }'
66 killed: '{ S_2[] -> c[] }'
67 index: '{ S_2[] -> c[] }'
68 reference: __pet_ref_2
72 schedule: '{ S_3[] -> [1, 1] }'
80 index: '{ S_3[] -> c[] }'
81 reference: __pet_ref_3
85 index: '{ S_3[] -> [(1)] }'
86 reference: __pet_ref_4
91 schedule: '{ S_4[] -> [2] }'
99 index: '{ S_4[] -> b[] }'
100 reference: __pet_ref_5
107 schedule: '{ S_5[] -> [3] }'
115 index: '{ S_5[] -> a[(1)] }'
116 reference: __pet_ref_6