4 context: '[n] -> { : -2147483648 <= n <= 2147483647 }'
5 schedule: '{ domain: "[n] -> { S_2[x1, t] : 0 <= x1 < n and t >= 0; S_7[]; S2[x1,
6 t] : 0 <= x1 < n and t >= 0; S1[x1] : 0 <= x1 < n; S_6[]; S_1[x1] : 0 <= x1 < n;
7 R[x1] : 0 <= x1 < n; S_4[x1, t] : 0 <= x1 < n and t >= 0 }", child: { sequence:
8 [ { filter: "[n] -> { S_2[x1, t]; S2[x1, t]; S1[x1]; S_1[x1]; R[x1]; S_4[x1, t]
9 }", child: { schedule: "[n] -> L_0[{ S_2[x1, t] -> [(x1)]; S2[x1, t] -> [(x1)];
10 S1[x1] -> [(x1)]; S_1[x1] -> [(x1)]; R[x1] -> [(x1)]; S_4[x1, t] -> [(x1)] }]",
11 child: { sequence: [ { filter: "[n] -> { S1[x1] }" }, { filter: "[n] -> { S_1[x1]
12 }" }, { filter: "[n] -> { S_2[x1, t]; S2[x1, t]; S_4[x1, t] }", child: { schedule:
13 "[n] -> L_1[{ S_2[x1, t] -> [(t)]; S2[x1, t] -> [(t)]; S_4[x1, t] -> [(t)] }]",
14 child: { sequence: [ { filter: "[n] -> { S_2[x1, t] }" }, { filter: "[n] -> { S2[x1,
15 t] }" }, { filter: "[n] -> { S_4[x1, t] }" } ] } } }, { filter: "[n] -> { R[x1]
16 }" } ] } } }, { filter: "[n] -> { S_7[]; S_6[] }", child: { set: [ { filter: "{
17 S_6[] }" }, { filter: "{ S_7[] }" } ] } } ] } }'
20 extent: '[n] -> { __pet_test_0[x1, t] : 0 <= x1 < n and t >= 0 }'
21 value_bounds: '{ [i0] : 0 <= i0 <= 1 }'
26 extent: '[n] -> { s[] }'
30 extent: '[n] -> { x2[] }'
35 domain: '[n] -> { S1[x1] : 0 <= x1 < n }'
43 index: '[n] -> { S1[x1] -> s[] }'
44 reference: __pet_ref_0
50 domain: '[n] -> { S_1[x1] : 0 <= x1 < n }'
58 index: '[n] -> { S_1[x1] -> x2[] }'
59 reference: __pet_ref_1
65 domain: '[n] -> { [S_2[x1, t] -> [__pet_test_0 = 1]] : 0 <= x1 < n and t >= 0 }'
73 index: '[n] -> { S_2[x1, t] -> __pet_test_0[(x1), (t)] }'
74 reference: __pet_ref_3
81 index: '[n] -> { S_2[x1, t] -> [(x1)] }'
82 reference: __pet_ref_4
86 index: '[n] -> { S_2[x1, t] -> x2[] }'
87 reference: __pet_ref_5
92 index: '[n] -> { S_2[x1, t] -> __pet_test_0[(x1), ((-1 + t) : t > 0)] }'
93 reference: __pet_ref_2
97 domain: '[n] -> { [S2[x1, t] -> [__pet_test_0 = 1]] : 0 <= x1 < n and t >= 0 }'
105 index: '[n] -> { S2[x1, t] -> s[] }'
106 reference: __pet_ref_7
113 index: '[n] -> { S2[x1, t] -> s[] }'
114 reference: __pet_ref_8
119 index: '[n] -> { S2[x1, t] -> __pet_test_0[(x1), (t)] }'
120 reference: __pet_ref_6
124 domain: '[n] -> { [S_4[x1, t] -> [__pet_test_0 = 1]] : 0 <= x1 < n and t >= 0 }'
132 index: '[n] -> { S_4[x1, t] -> x2[] }'
133 reference: __pet_ref_10
137 index: '[n] -> { S_4[x1, t] -> [(n)] }'
138 reference: __pet_ref_11
143 index: '[n] -> { S_4[x1, t] -> __pet_test_0[(x1), (t)] }'
144 reference: __pet_ref_9
148 domain: '[n] -> { R[x1] : 0 <= x1 < n }'
156 index: '[n] -> { R[x1] -> s[] }'
157 reference: __pet_ref_12
161 domain: '[n] -> { S_6[] }'
169 killed: '[n] -> { S_6[] -> s[] }'
170 index: '[n] -> { S_6[] -> s[] }'
171 reference: __pet_ref_13
174 domain: '[n] -> { S_7[] }'
182 killed: '[n] -> { S_7[] -> x2[] }'
183 index: '[n] -> { S_7[] -> x2[] }'
184 reference: __pet_ref_14
188 extension: '[n] -> { __pet_test_0[x1, t] -> __pet_test_0[x1'' = x1, t''] : 0 <=
189 x1 < n and 0 <= t'' <= t }'