5 schedule: '{ domain: "{ S_0[]; S_1[] }", child: { sequence: [ { filter: "{ S_0[] }"
6 }, { filter: "{ S_1[] }" } ] } }'
17 schedule: '{ S_0[] -> [0] }'
25 killed: '{ S_0[] -> s[] }'
26 index: '{ S_0[] -> s[] }'
27 reference: __pet_ref_0
31 schedule: '{ S_1[] -> [1] }'
42 may_read: '{ S_1[] -> s[] }'
43 may_write: '{ S_1[] -> s[] }'
45 index: '{ S_1[] -> s[] }'
46 reference: __pet_ref_1