4 context: '[n] -> { : n <= 2147483647 and n >= 0 }'
6 - context: '[n] -> { : n >= 0 }'
7 extent: '[n] -> { B[i0, i1] : i0 >= 0 and i0 <= -1 + n and i1 <= -1 + n and i1 >=
13 domain: '[n] -> { S_0[i] : i <= -1 + n and i >= 0 }'
14 schedule: '[n] -> { S_0[i] -> [0, i] }'
22 index: '[n] -> { S_0[i] -> [(1 + i)] }'
23 reference: __pet_ref_0
27 index: '[n] -> { S_0[i] -> [(n)] }'
28 reference: __pet_ref_1
32 may_read: '[n] -> { S_0[i] -> B[i, 1 + i] : i <= -2 + n }'
33 may_write: '[n] -> { S_0[i] -> B[i, 1 + i] : i <= -2 + n; S_0[i] -> B[i, i]
35 must_write: '[n] -> { S_0[i] -> B[i, i] }'
36 index: '[n] -> { S_0[i] -> B[(i)] }'
38 reference: __pet_ref_2