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