prolog-analyzer: Обнаружение LUNA3 и LUNA5 для одиночных ФД

[m-michurov]

• LUNA3 - Повторная инициализация ФД;
• LUNA5 - Попытка использования неинициализированного ФД.

В том числе обнаруживать ситуации вида:

for i = 1..N { init(x[i]); }
use(x[0]);          // 0 не в [1, N]
use(x[M]);          // M может быть не в [1, N]