prolog-analyzer: Построение совокупности инициализированных индексов (поддержка сложных случаев)

[m-michurov]

Учитывать случаи, когда циклы перекрываются и таким образом дают нужный шаг, например:

for i = 0..5 { init(x[4 * i]); } // -> 0, 4, 8, 12, 16, 20
for i = 0..5 { init(x[2 + 4 * i]); } // 2, 6, 10, 14, 18, 22

for i = 0..11 { use(x[2 * i]); } // -> 0, 2, 4, 6, 8, 10, 12, 14, 16, 18, 20, 22