5 schedule: '{ domain: "{ S_0[i, j] : i >= 0 and i <= 9 and j >= 0 and j <= 9; 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:
11 definition: "struct s {\n struct {\n int a[10];\n } f[10];\n}"
15 element_type: struct s
19 extent: '{ s_f[s[] -> f[i0]] : i0 >= 0 and i0 <= 9 }'
20 element_type: <subfield>
24 extent: '{ s_f_a[s_f[s[] -> f[i0]] -> a[i1]] : i0 >= 0 and i0 <= 9 and i1 >= 0 and
30 domain: '{ S_0[i, j] : i >= 0 and i <= 9 and j >= 0 and j <= 9 }'
38 index: '{ S_0[i, j] -> s_f_a[s_f[s[] -> f[(i)]] -> a[(j)]] }'
39 reference: __pet_ref_0
46 index: '{ S_0[i, j] -> [(i)] }'
47 reference: __pet_ref_1
51 index: '{ S_0[i, j] -> [(j)] }'
52 reference: __pet_ref_2
64 killed: '{ S_1[] -> s[] }'
65 index: '{ S_1[] -> s[] }'
66 reference: __pet_ref_3