5 schedule: '{ domain: "{ S_0[k] : k <= 261 and k >= 252; S_2[]; S_1[] }", child: {
6 sequence: [ { filter: "{ S_0[k] }", child: { schedule: "L_0[{ S_0[k] -> [(k)] }]"
7 } }, { filter: "{ S_2[]; S_1[] }", child: { set: [ { filter: "{ S_1[] }" }, { filter:
8 "{ S_2[] }" } ] } } ] } }'
16 element_type: unsigned char
20 domain: '{ S_0[k] : k <= 261 and k >= 252 }'
28 index: '{ S_0[k] -> a[] }'
29 reference: __pet_ref_0
43 killed: '{ S_1[] -> k[] }'
44 index: '{ S_1[] -> k[] }'
45 reference: __pet_ref_1
56 killed: '{ S_2[] -> a[] }'
57 index: '{ S_2[] -> a[] }'
58 reference: __pet_ref_2