5 schedule: '{ domain: "{ S_0[]; S_2[]; S_1[] }", child: { sequence: [ { filter: "{
6 S_0[] }" }, { filter: "{ S_1[] }" }, { filter: "{ S_2[] }" } ] } }'
22 index: '{ S_0[] -> a[] }'
23 reference: __pet_ref_0
38 index: '{ S_1[] -> a[] }'
39 reference: __pet_ref_1
54 killed: '{ S_2[] -> a[] }'
55 index: '{ S_2[] -> a[] }'
56 reference: __pet_ref_2