4 context: '[n] -> { : n <= 2147483647 and n >= -2147483648 }'
5 schedule: '{ domain: "[n] -> { S2[x, t] : x >= 0 and x <= -1 + n and t >= 0; S_4[];
6 S1[x] : x >= 0 and x <= -1 + n; S_1[x, t] : x >= 0 and x <= -1 + n and t >= 0; R[x]
7 : x >= 0 and x <= -1 + n }", child: { sequence: [ { filter: "[n] -> { S2[x, t];
8 S1[x]; S_1[x, t]; R[x] }", child: { schedule: "[n] -> L_0[{ S2[x, t] -> [(x)]; S1[x]
9 -> [(x)]; S_1[x, t] -> [(x)]; R[x] -> [(x)] }]", child: { sequence: [ { filter:
10 "[n] -> { S1[x] }" }, { filter: "[n] -> { S2[x, t]; S_1[x, t] }", child: { schedule:
11 "[n] -> L_1[{ S2[x, t] -> [(t)]; S_1[x, t] -> [(t)] }]", child: { sequence: [ {
12 filter: "[n] -> { S_1[x, t] }" }, { filter: "[n] -> { S2[x, t] }" } ] } } }, { filter:
13 "[n] -> { R[x] }" } ] } } }, { filter: "[n] -> { S_4[] }" } ] } }'
16 extent: '[n] -> { __pet_test_0[x, t] : x >= 0 and x <= -1 + n and t >= 0 }'
17 value_bounds: '{ [i0] : i0 >= 0 and i0 <= 1 }'
22 extent: '[n] -> { s[] }'
27 domain: '[n] -> { S1[x] : x >= 0 and x <= -1 + n }'
35 index: '[n] -> { S1[x] -> s[] }'
36 reference: __pet_ref_0
42 domain: '[n] -> { [S_1[x, t] -> [1]] : x >= 0 and x <= -1 + n and t >= 0 }'
50 index: '[n] -> { S_1[x, t] -> __pet_test_0[(x), (t)] }'
51 reference: __pet_ref_2
58 index: '[n] -> { S_1[x, t] -> [(x)] }'
59 reference: __pet_ref_3
63 index: '[n] -> { S_1[x, t] -> s[] }'
64 reference: __pet_ref_4
69 index: '[n] -> { S_1[x, t] -> __pet_test_0[(x), ((-1 + t) : t >= 1)] }'
70 reference: __pet_ref_1
74 domain: '[n] -> { [S2[x, t] -> [1]] : x >= 0 and x <= -1 + n and t >= 0 }'
82 index: '[n] -> { S2[x, t] -> s[] }'
83 reference: __pet_ref_6
90 index: '[n] -> { S2[x, t] -> s[] }'
91 reference: __pet_ref_7
96 index: '[n] -> { S2[x, t] -> __pet_test_0[(x), (t)] }'
97 reference: __pet_ref_5
101 domain: '[n] -> { R[x] : x >= 0 and x <= -1 + n }'
109 index: '[n] -> { R[x] -> s[] }'
110 reference: __pet_ref_8
114 domain: '[n] -> { S_4[] }'
122 killed: '[n] -> { S_4[] -> s[] }'
123 index: '[n] -> { S_4[] -> s[] }'
124 reference: __pet_ref_9
128 extension: '[n] -> { __pet_test_0[x, t] -> __pet_test_0[x, t''] : t'' <= t and x
129 >= 0 and x <= -1 + n and t'' >= 0 }'