5 schedule: '{ domain: "{ S_3[t] : t >= 0; S_0[]; S_5[]; S_2[t] : t >= 0; S_6[]; S_4[t]
6 : t >= 0; S_1[] }", child: { sequence: [ { filter: "{ S_0[] }" }, { filter: "{ S_1[]
7 }" }, { filter: "{ S_3[t]; S_2[t]; S_4[t] }", child: { schedule: "L_0[{ S_4[t] ->
8 [(t)]; S_2[t] -> [(t)]; S_3[t] -> [(t)] }]", child: { sequence: [ { filter: "{ S_2[t]
9 }" }, { filter: "{ S_3[t] }" }, { filter: "{ S_4[t] }" } ] } } }, { filter: "{ S_5[];
10 S_6[] }", child: { set: [ { filter: "{ S_5[] }" }, { filter: "{ S_6[] }" } ] } }
14 extent: '{ __pet_test_0[t] : t >= 0 }'
15 value_bounds: '{ [i0] : 0 <= i0 <= 1 }'
37 index: '{ S_0[] -> i[] }'
38 reference: __pet_ref_0
52 index: '{ S_1[] -> i[] }'
53 reference: __pet_ref_1
57 index: '{ S_1[] -> i[] }'
58 reference: __pet_ref_2
62 domain: '{ [S_2[t] -> [__pet_test_0 = 1]] : t >= 0 }'
70 index: '{ S_2[t] -> __pet_test_0[(t)] }'
71 reference: __pet_ref_4
78 index: '{ S_2[t] -> i[] }'
79 reference: __pet_ref_5
86 index: '{ S_2[t] -> __pet_test_0[((-1 + t) : t > 0)] }'
87 reference: __pet_ref_3
91 domain: '{ [S_3[t] -> [__pet_test_0 = 1]] : t >= 0 }'
99 index: '{ S_3[t] -> a[] }'
100 reference: __pet_ref_7
107 index: '{ S_3[t] -> __pet_test_0[(t)] }'
108 reference: __pet_ref_6
112 domain: '{ [S_4[t] -> [__pet_test_0 = 1]] : t >= 0 }'
120 index: '{ S_4[t] -> i[] }'
121 reference: __pet_ref_9
128 index: '{ S_4[t] -> __pet_test_0[(t)] }'
129 reference: __pet_ref_8
141 killed: '{ S_5[] -> i[] }'
142 index: '{ S_5[] -> i[] }'
143 reference: __pet_ref_10
154 killed: '{ S_6[] -> a[] }'
155 index: '{ S_6[] -> a[] }'
156 reference: __pet_ref_11
160 extension: '{ __pet_test_0[t] -> __pet_test_0[t''] : 0 <= t'' <= t }'