5 schedule: '{ domain: "{ S_0[i, j] : 0 <= i <= 9 and 0 <= j <= 9; S_2[]; S_1[] }",
6 child: { sequence: [ { filter: "{ S_0[i, j] }", child: { schedule: "L_0[{ S_0[i,
7 j] -> [(i)] }]", child: { schedule: "L_1[{ S_0[i, j] -> [(j)] }]" } } }, { filter:
8 "{ S_1[] }" }, { filter: "{ S_2[] }" } ] } }'
11 definition: "struct s {\n struct {\n struct {\n int a[10];\n
12 \ } f[10];\n int b;\n };\n}"
16 element_type: struct s
20 extent: '{ s_b[s[] -> b[]] }'
24 extent: '{ s_f[s[] -> f[i0]] : 0 <= i0 <= 9 }'
25 element_type: <subfield>
29 extent: '{ s_f_a[s_f[s[] -> f[i0]] -> a[i1]] : 0 <= i0 <= 9 and 0 <= i1 <= 9 }'
34 domain: '{ S_0[i, j] : 0 <= i <= 9 and 0 <= j <= 9 }'
42 index: '{ S_0[i, j] -> s_f_a[s_f[s[] -> f[(i)]] -> a[(j)]] }'
43 reference: __pet_ref_0
50 index: '{ S_0[i, j] -> [(i)] }'
51 reference: __pet_ref_1
55 index: '{ S_0[i, j] -> [(j)] }'
56 reference: __pet_ref_2
68 index: '{ S_1[] -> s_b[s[] -> b[]] }'
69 reference: __pet_ref_3
83 killed: '{ S_2[] -> s[] }'
84 index: '{ S_2[] -> s[] }'
85 reference: __pet_ref_4