5 schedule: '{ domain: "{ S_0[]; S_1[] }", child: { sequence: [ { filter: "{ S_0[] }"
6 }, { filter: "{ S_1[] }" } ] } }'
9 extent: '{ __pet_test_0[] }'
10 value_bounds: '{ [i0] : i0 >= 0 and i0 <= 1 }'
28 index: '{ S_0[] -> __pet_test_0[] }'
29 reference: __pet_ref_0
40 domain: '{ [S_1[] -> [1]] }'
48 index: '{ S_1[] -> a[] }'
49 reference: __pet_ref_2
56 index: '{ S_1[] -> __pet_test_0[] }'
57 reference: __pet_ref_1