5 schedule: '{ domain: "{ S_0[]; S_1[] }", child: { sequence: [ { filter: "{ S_0[] }"
6 }, { filter: "{ S_1[] }" } ] } }'
8 - context: '[N] -> { : N >= 0 }'
9 extent: '[N] -> { A[i0] : i0 >= 0 and i0 <= -1 + N }'
24 killed: '[N] -> { S_0[] -> A[o0] : o0 >= 0 and o0 <= -1 + N }'
25 index: '{ S_0[] -> A[] }'
27 reference: __pet_ref_0
38 index: '{ S_1[] -> A[(0)] }'
39 reference: __pet_ref_1