3 context: '[a] -> { : a <= 2147483647 and a >= -2147483648 }'
6 extent: '[a] -> { b[] }'
11 domain: '[a] -> { S_0[] : a >= 1 }'
12 schedule: '{ S_0[] -> [1] }'
18 relation: '[a] -> { S_0[] -> b[] }'
19 index: '[a] -> { S_0[] -> b[] }'
20 reference: __pet_ref_0