7 extent: '{ __pet_test_0[] }'
8 value_bounds: '{ [i0] : i0 >= 0 and i0 <= 1 }'
19 schedule: '{ S_0[] -> [0, 0] }'
27 relation: '{ S_0[] -> __pet_test_0[] }'
28 index: '{ S_0[] -> __pet_test_0[] }'
29 reference: __pet_ref_0
40 domain: '{ [S_1[] -> [1]] }'
41 schedule: '{ S_1[] -> [0, 1] }'
49 relation: '{ S_1[] -> a[] }'
50 index: '{ S_1[] -> a[] }'
51 reference: __pet_ref_2
58 relation: '{ S_1[] -> __pet_test_0[] }'
59 index: '{ S_1[] -> __pet_test_0[] }'
60 reference: __pet_ref_1