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[] -> a[] }'
26 relation: '{ S_1[] -> [5] }'
31 relation: '[index] -> { S_1[] -> test[index] : index >= 0 or index >= 0 }'