islands.adb:39:31: medium: overflow check might fail[#8]
islands.ads:34:06: medium: contract cases might not be disjoint[#0]
islands.ads:34:06: medium: contract cases might not be complete[#1]
islands.ads:34:39: medium: array index check might fail (e.g. when I = 0)[#6]
islands.ads:34:42: medium: array index check might fail (e.g. when J = 7)[#7]
islands.ads:34:46: medium: contract case might fail[#2]
islands.ads:35:39: medium: array index check might fail (e.g. when I = 0)[#4]
islands.ads:35:41: medium: array index check might fail (e.g. when J = 6)[#5]
islands.ads:35:52: medium: contract case might fail[#3]
