4 context: '[n] -> { : n <= 2147483647 and n >= -2147483648 }'
5 schedule: '{ domain: "[n] -> { S_6[x1] : x1 >= 0 and x1 <= -1 + n; S_2[x1, t] : x1
6 >= 0 and x1 <= -1 + n and t >= 0; S2[x1, t] : x1 >= 0 and x1 <= -1 + n and t >=
7 0; S1[x1] : x1 >= 0 and x1 <= -1 + n; S_8[]; S_5[x1] : x1 >= 0 and x1 <= -1 + n;
8 S_1[x1] : x1 >= 0 and x1 <= -1 + n; R[x1] : x1 >= 0 and x1 <= -1 + n; S_4[x1, t]
9 : x1 >= 0 and x1 <= -1 + n and t >= 0 }", child: { sequence: [ { filter: "[n] ->
10 { S_6[x1]; S_2[x1, t]; S2[x1, t]; S1[x1]; S_5[x1]; S_1[x1]; R[x1]; S_4[x1, t] }",
11 child: { schedule: "[n] -> L_0[{ S_6[x1] -> [(x1)]; S_2[x1, t] -> [(x1)]; S2[x1,
12 t] -> [(x1)]; S1[x1] -> [(x1)]; S_5[x1] -> [(x1)]; S_1[x1] -> [(x1)]; R[x1] -> [(x1)];
13 S_4[x1, t] -> [(x1)] }]", child: { sequence: [ { filter: "[n] -> { S1[x1] }" },
14 { filter: "[n] -> { S_5[x1] }" }, { filter: "[n] -> { S_1[x1] }" }, { filter: "[n]
15 -> { S_2[x1, t]; S2[x1, t]; S_4[x1, t] }", child: { schedule: "[n] -> L_1[{ S_2[x1,
16 t] -> [(t)]; S2[x1, t] -> [(t)]; S_4[x1, t] -> [(t)] }]", child: { sequence: [ {
17 filter: "[n] -> { S_2[x1, t] }" }, { filter: "[n] -> { S2[x1, t] }" }, { filter:
18 "[n] -> { S_4[x1, t] }" } ] } } }, { filter: "[n] -> { S_6[x1] }" }, { filter: "[n]
19 -> { R[x1] }" } ] } } }, { filter: "[n] -> { S_8[] }" } ] } }'
22 extent: '[n] -> { __pet_test_0[x1, t] : x1 >= 0 and x1 <= -1 + n and t >= 0 }'
23 value_bounds: '{ [i0] : i0 >= 0 and i0 <= 1 }'
28 extent: '[n] -> { x2[] }'
33 extent: '[n] -> { s[] }'
38 domain: '[n] -> { S1[x1] : x1 >= 0 and x1 <= -1 + n }'
46 index: '[n] -> { S1[x1] -> s[] }'
47 reference: __pet_ref_0
53 domain: '[n] -> { S_5[x1] : x1 >= 0 and x1 <= -1 + n }'
61 killed: '[n] -> { S_5[x1] -> x2[] }'
62 index: '[n] -> { S_5[x1] -> x2[] }'
63 reference: __pet_ref_1
66 domain: '[n] -> { S_1[x1] : x1 >= 0 and x1 <= -1 + n }'
74 index: '[n] -> { S_1[x1] -> x2[] }'
75 reference: __pet_ref_2
81 domain: '[n] -> { [S_2[x1, t] -> [1]] : x1 >= 0 and x1 <= -1 + n and t >= 0 }'
89 index: '[n] -> { S_2[x1, t] -> __pet_test_0[(x1), (t)] }'
90 reference: __pet_ref_4
97 index: '[n] -> { S_2[x1, t] -> [(x1)] }'
98 reference: __pet_ref_5
102 index: '[n] -> { S_2[x1, t] -> x2[] }'
103 reference: __pet_ref_6
108 index: '[n] -> { S_2[x1, t] -> __pet_test_0[(x1), ((-1 + t) : t >= 1)] }'
109 reference: __pet_ref_3
113 domain: '[n] -> { [S2[x1, t] -> [1]] : x1 >= 0 and x1 <= -1 + n and t >= 0 }'
121 index: '[n] -> { S2[x1, t] -> s[] }'
122 reference: __pet_ref_8
129 index: '[n] -> { S2[x1, t] -> s[] }'
130 reference: __pet_ref_9
135 index: '[n] -> { S2[x1, t] -> __pet_test_0[(x1), (t)] }'
136 reference: __pet_ref_7
140 domain: '[n] -> { [S_4[x1, t] -> [1]] : x1 >= 0 and x1 <= -1 + n and t >= 0 }'
148 index: '[n] -> { S_4[x1, t] -> x2[] }'
149 reference: __pet_ref_11
153 index: '[n] -> { S_4[x1, t] -> s[] }'
154 reference: __pet_ref_12
159 index: '[n] -> { S_4[x1, t] -> __pet_test_0[(x1), (t)] }'
160 reference: __pet_ref_10
164 domain: '[n] -> { S_6[x1] : x1 >= 0 and x1 <= -1 + n }'
172 killed: '[n] -> { S_6[x1] -> x2[] }'
173 index: '[n] -> { S_6[x1] -> x2[] }'
174 reference: __pet_ref_13
177 domain: '[n] -> { R[x1] : x1 >= 0 and x1 <= -1 + n }'
185 index: '[n] -> { R[x1] -> s[] }'
186 reference: __pet_ref_14
190 domain: '[n] -> { S_8[] }'
198 killed: '[n] -> { S_8[] -> s[] }'
199 index: '[n] -> { S_8[] -> s[] }'
200 reference: __pet_ref_15
204 extension: '[n] -> { __pet_test_0[x1, t] -> __pet_test_0[x1, t''] : t'' <= t and
205 x1 >= 0 and x1 <= -1 + n and t'' >= 0 }'