5 schedule: '{ domain: "{ S_0[i, j] : i >= 0 and i <= 9 and j >= 0 and j <= 19; 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 int a;\n}"
14 extent: '{ s[i0, i1] : i0 >= 0 and i1 >= 0 and i0 <= 9 and i1 <= 19 }'
15 element_type: struct s
19 extent: '{ s_a[s[i0, i1] -> a[]] : i0 >= 0 and i1 >= 0 and i0 <= 9 and i1 <= 19
25 domain: '{ S_0[i, j] : i >= 0 and i <= 9 and j >= 0 and j <= 19 }'
33 index: '{ S_0[i, j] -> s_a[s[(i), (j)] -> a[]] }'
34 reference: __pet_ref_0
48 killed: '{ S_1[] -> s[o0, o1] : o0 >= 0 and o1 >= 0 and o0 <= 9 and o1 <=
50 index: '{ S_1[] -> s[] }'
52 reference: __pet_ref_1