Почему ошибка доступа к массиву вне границ в ограничении MiniZin c?

Question

Этот код дает массиву предупреждение о границах доступа при компиляции:

constraint forall(i in H, j in H) 
                  (if s[i] > s[j] /\ a[r[i]] < a[r[j]] /\ h[j] != 0 /\ (h[i] != 0 /\ h[j] != 0)
                   then v[i,j] = true else v[i,j] = false endif);

Но этот код не:

constraint forall(i in H, j in H) 
                  (if s[i] > s[j] /\ a[r[i]] < a[r[j]] 
                   then v[i,j] = true else v[i,j] = false endif);

Я не могу понять, почему.