15 schedule: '{ S_0[] -> [0] }'
23 killed: '{ S_0[] -> s[] }'
24 index: '{ S_0[] -> s[] }'
25 reference: __pet_ref_0
29 schedule: '{ S_1[] -> [1] }'
40 may_read: '{ S_1[] -> s[] }'
41 may_write: '{ S_1[] -> s[] }'
43 index: '{ S_1[] -> s[] }'
44 reference: __pet_ref_1