5 schedule: '{ domain: "{ S_0[]; S_2[]; S_1[] }", child: { sequence: [ { filter: "{
6 S_0[] }" }, { filter: "{ S_2[]; S_1[] }", child: { set: [ { filter: "{ S_1[] }"
7 }, { filter: "{ S_2[] }" } ] } } ] } }'
10 extent: '{ __pet_test_0[] }'
11 value_bounds: '{ [i0] : i0 >= 0 and i0 <= 1 }'
29 index: '{ S_0[] -> __pet_test_0[] }'
30 reference: __pet_ref_0
36 domain: '{ [S_1[] -> [1]] }'
44 index: '{ S_1[] -> t[] }'
45 reference: __pet_ref_2
52 index: '{ S_1[] -> __pet_test_0[] }'
53 reference: __pet_ref_1
57 domain: '{ [S_2[] -> [0]] }'
65 index: '{ S_2[] -> t[] }'
66 reference: __pet_ref_4
73 index: '{ S_2[] -> __pet_test_0[] }'
74 reference: __pet_ref_3