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 }'
21 schedule: '{ S_0[] -> [0, 0] }'
29 index: '{ S_0[] -> __pet_test_0[] }'
30 reference: __pet_ref_0
41 domain: '{ [S_1[] -> [1]] }'
42 schedule: '{ S_1[] -> [0, 1] }'
50 index: '{ S_1[] -> a[] }'
51 reference: __pet_ref_2
58 index: '{ S_1[] -> __pet_test_0[] }'
59 reference: __pet_ref_1