5 schedule: '{ domain: "{ S_3[]; S_0[]; S_2[]; S_1[]; S_4[] }", child: { sequence: [
6 { filter: "{ S_0[] }" }, { filter: "{ S_1[] }" }, { filter: "{ S_2[] }" }, { filter:
7 "{ S_4[] }" }, { filter: "{ S_3[] }" } ] } }'
32 index: '{ S_0[] -> a[] }'
33 reference: __pet_ref_0
47 killed: '{ S_1[] -> c[] }'
48 index: '{ S_1[] -> c[] }'
49 reference: __pet_ref_1
60 index: '{ S_2[] -> c[] }'
61 reference: __pet_ref_2
75 index: '{ S_4[] -> b[] }'
76 reference: __pet_ref_3
80 index: '{ S_4[] -> [(5)] }'
81 reference: __pet_ref_4
93 killed: '{ S_3[] -> c[] }'
94 index: '{ S_3[] -> c[] }'
95 reference: __pet_ref_5