5 schedule: '{ domain: "{ S_0[]; S_1[] }", child: { sequence: [ { filter: "{ S_0[] }"
6 }, { filter: "{ S_1[] }" } ] } }'
9 definition: "typedef struct scomplex {\n float re;\n float im;\n} scomplex"
11 definition: "struct pair {\n scomplex c[2];\n}"
15 element_type: struct pair
19 extent: '{ p_c[p[] -> c[i0]] : 0 <= i0 <= 1 }'
20 element_type: struct scomplex
24 extent: '{ p_c_im[p_c[p[] -> c[i0]] -> im[]] : 0 <= i0 <= 1 }'
28 extent: '{ p_c_re[p_c[p[] -> c[i0]] -> re[]] : 0 <= i0 <= 1 }'
41 index: '{ S_0[] -> p_c_re[p_c[p[] -> c[(0)]] -> re[]] }'
42 reference: __pet_ref_0
46 index: '{ S_0[] -> p_c_im[p_c[p[] -> c[(1)]] -> im[]] }'
47 reference: __pet_ref_1
59 killed: '{ S_1[] -> p[] }'
60 index: '{ S_1[] -> p[] }'
61 reference: __pet_ref_2