11 extent: '{ test[i0] : i0 >= 0 }'
16 domain: '{ [S_0[] -> [test]] : test <= -1 or test >= 1 }'
17 schedule: '{ S_0[] -> [0] }'
23 relation: '{ S_0[] -> a[] }'
24 index: '{ S_0[] -> a[] }'
25 reference: __pet_ref_1
32 relation: '[index] -> { S_0[] -> test[index] : index >= 0 }'
33 index: '[index] -> { S_0[] -> test[((index) : index >= 0)] }'
34 reference: __pet_ref_0