4 context: '[c] -> { : c <= 127 and c >= -128 }'
7 extent: '[c] -> { a[] }'
12 domain: '[c] -> { S_0[] }'
13 schedule: '{ S_0[] -> [0] }'
19 relation: '[c] -> { S_0[] -> a[] }'
20 index: '[c] -> { S_0[] -> a[] }'
21 reference: __pet_ref_0
28 relation: '[c] -> { S_0[] -> [c] }'
29 index: '[c] -> { S_0[] -> [(c)] }'
30 reference: __pet_ref_1