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 }'
19 extent: '{ test[i0] : i0 >= 0 }'
25 schedule: '{ S_0[] -> [0, 0] }'
33 index: '{ S_0[] -> __pet_test_0[] }'
34 reference: __pet_ref_0
38 index: '{ [S_0[] -> [i0]] -> test[((i0) : i0 >= 0)] }'
39 reference: __pet_ref_2
44 index: '{ S_0[] -> index[] }'
45 reference: __pet_ref_1
49 domain: '{ [S_1[] -> [1]] }'
50 schedule: '{ S_1[] -> [0, 1] }'
58 index: '{ S_1[] -> index[] }'
59 reference: __pet_ref_4
66 index: '{ S_1[] -> __pet_test_0[] }'
67 reference: __pet_ref_3