4 context: '[N] -> { : N >= 0 and N <= 2147483647 }'
5 schedule: '{ domain: "[N] -> { }" }'
7 - context: '[N] -> { : N >= 0 }'
8 extent: '[N] -> { a[i0] : i0 >= 0 and i0 <= -1 + N }'
13 domain: '[N] -> { S_0[i] : 1 = 0 }'
21 index: '[N] -> { S_0[i] -> a[(0 : 1 = 0)] }'
22 reference: __pet_ref_0
26 index: '[N] -> { S_0[i] -> [(0 : 1 = 0)] }'
27 reference: __pet_ref_1