5 schedule: '{ domain: "{ S_0[] }" }'
8 definition: "struct s {\n int a;\n}"
11 extent: '{ s[i0] : i0 >= 0 }'
12 element_type: struct s
17 extent: '{ s_a[s[i0] -> a[]] : i0 >= 0 }'
30 index: '{ S_0[] -> s_a[s[(0)] -> a[]] }'
31 reference: __pet_ref_0