islands.adb:39:33: medium: precondition might fail, cannot prove Map_Array(i,j)> 3 (e.g. when i = 2 and j = 3) [possible explanation: precondition of subprogram at islands.ads:31 should mention Map_Array][#2]
islands.adb:40:31: medium: overflow check might fail[#3]
islands.ads:28:44: medium: array index check might fail[#0]
islands.ads:28:46: medium: array index check might fail (e.g. when j = 6)[#1]
islands.ads:33:14: medium: postcondition might fail, cannot prove Count_Islands'Result < (N * M)[#4]
