5 schedule: '{ domain: "{ S_0[]; S_2[0]; S_1[0] }", child: { sequence: [ { filter: "{
6 S_0[] }" }, { filter: "{ S_2[t]; S_1[t] }", child: { schedule: "L_0[{ S_1[t] ->
7 [(t)]; S_2[t] -> [(t)] }]", child: { sequence: [ { filter: "{ S_1[t] }" }, { filter:
8 "{ S_2[t] }" } ] } } } ] } }'
11 extent: '{ __pet_test_0[0] }'
12 value_bounds: '{ [i0] : i0 >= 0 and i0 <= 1 }'
17 extent: '{ a[i0] : i0 >= 0 and i0 <= 99 }'
34 index: '{ S_0[] -> i[] }'
35 reference: __pet_ref_0
41 domain: '{ [S_1[0] -> [1]] }'
49 index: '{ S_1[t] -> __pet_test_0[(0)] }'
50 reference: __pet_ref_2
57 index: '{ S_1[t] -> i[] }'
58 reference: __pet_ref_3
65 index: '{ S_1[t] -> __pet_test_0[(0 : 1 = 0)] }'
66 reference: __pet_ref_1
70 domain: '{ [S_2[0] -> [1]] }'
78 index: '{ [S_2[t] -> [i1]] -> a[((i1) : i1 >= 0)] }'
79 reference: __pet_ref_6
84 index: '{ S_2[t] -> i[] }'
85 reference: __pet_ref_5
92 index: '{ S_2[t] -> __pet_test_0[(0)] }'
93 reference: __pet_ref_4
97 domain: '{ [S_3[t] -> [__pet_test_0]] : 1 = 0 }'
105 index: '{ [S_3[t] -> [i1]] -> a[(0 : 1 = 0)] }'
106 reference: __pet_ref_9
111 index: '{ S_3[t] -> i[] }'
112 reference: __pet_ref_8
119 index: '{ S_3[t] -> __pet_test_0[(0 : 1 = 0)] }'
120 reference: __pet_ref_7
124 domain: '{ [S_4[t] -> [__pet_test_0]] : 1 = 0 }'
132 index: '{ S_4[t] -> i[] }'
133 reference: __pet_ref_11
140 index: '{ S_4[t] -> __pet_test_0[(0 : 1 = 0)] }'
141 reference: __pet_ref_10
146 extension: '{ __pet_test_0[t] -> __pet_test_0[0] : t >= 0 }'