6 extent: '{ __pet_test_0[] }'
7 value_bounds: '{ [i0] : i0 >= 0 and i0 <= 1 }'
18 schedule: '{ S_0[] -> [0, 0] }'
24 relation: '{ S_0[] -> __pet_test_0[] }'
25 index: '{ S_0[] -> __pet_test_0[] }'
26 reference: __pet_ref_0
37 domain: '{ [S_1[] -> [1]] }'
38 schedule: '{ S_1[] -> [0, 1] }'
44 relation: '{ S_1[] -> a[] }'
45 index: '{ S_1[] -> a[] }'
46 reference: __pet_ref_2
53 relation: '{ S_1[] -> __pet_test_0[] }'
54 index: '{ S_1[] -> __pet_test_0[] }'
55 reference: __pet_ref_1