5 schedule: '{ domain: "{ S_0[]; S_2[]; S_1[] }", child: { sequence: [ { filter: "{
6 S_0[] }" }, { filter: "{ S_1[] }" }, { filter: "{ S_2[] }" } ] } }'
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] }'
33 index: '{ S_0[] -> index[] }'
34 reference: __pet_ref_0
41 schedule: '{ S_1[] -> [1, 0] }'
49 index: '{ S_1[] -> __pet_test_0[] }'
50 reference: __pet_ref_1
54 index: '{ [S_1[] -> [i0]] -> test[((i0) : i0 >= 0)] }'
55 reference: __pet_ref_3
60 index: '{ S_1[] -> index[] }'
61 reference: __pet_ref_2
65 domain: '{ [S_2[] -> [1]] }'
66 schedule: '{ S_2[] -> [1, 1] }'
74 index: '{ S_2[] -> index[] }'
75 reference: __pet_ref_5
82 index: '{ S_2[] -> __pet_test_0[] }'
83 reference: __pet_ref_4