5 schedule: '{ domain: "{ S_0[i] : 0 <= i <= 9; S_2[]; S_1[] }", child: { sequence:
6 [ { filter: "{ S_0[i] }", child: { schedule: "L[{ S_0[i] -> [(i)] }]" } }, { filter:
7 "{ S_2[]; S_1[] }", child: { set: [ { filter: "{ S_1[] }" }, { filter: "{ S_2[]
20 domain: '{ S_0[i] : 0 <= i <= 9 }'
28 index: '{ S_0[i] -> a[] }'
29 reference: __pet_ref_0
43 killed: '{ S_1[] -> i[] }'
44 index: '{ S_1[] -> i[] }'
45 reference: __pet_ref_1
56 killed: '{ S_2[] -> a[] }'
57 index: '{ S_2[] -> a[] }'
58 reference: __pet_ref_2