6 extent: '{ test[i0] : i0 >= 0 }'
15 domain: '{ [S_1[] -> [test]] : test <= -1 or test >= 1 }'
16 schedule: '{ S_1[] -> [0] }'
22 relation: '{ S_1[] -> index[] }'
23 reference: __pet_ref_1
27 relation: '{ S_1[] -> [5] }'
28 reference: __pet_ref_2
33 relation: '[index] -> { S_1[] -> test[index] : index >= 0 or index >= 0 }'
34 reference: __pet_ref_0