islands.adb:40:31: medium: overflow check might fail[#0]
islands.ads:55:24: medium: postcondition might fail, cannot prove Count_Islands'Result in Map_Array'range (e.g. when Count_Islands'Result = 5 and i = 1 and j = 1)[#1]
