5 schedule: '{ domain: "{ S_0[]; S_2[]; S_1[] }", child: { sequence: [ { filter: "{
6 S_0[] }" }, { filter: "{ S_2[] }" }, { filter: "{ S_1[] }" } ] } }'
23 killed: '{ S_0[] -> a[] }'
24 index: '{ S_0[] -> a[] }'
25 reference: __pet_ref_0
36 index: '{ S_2[] -> a[] }'
37 reference: __pet_ref_1
51 killed: '{ S_1[] -> a[] }'
52 index: '{ S_1[] -> a[] }'
53 reference: __pet_ref_2