islands.adb:39:31: medium: overflow check might fail[#14]
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:41: medium: array index check might fail (e.g. when I = 4)[#8]
islands.ads:34:46: medium: array index check might fail[#9]
islands.ads:34:49: medium: contract case might fail[#2]
islands.ads:35:41: medium: array index check might fail (e.g. when I = 0)[#10]
islands.ads:35:46: medium: array index check might fail (e.g. when J = 6)[#11]
islands.ads:35:49: medium: contract case might fail[#3]
islands.ads:36:39: medium: array index check might fail (e.g. when I = 5)[#12]
islands.ads:36:44: medium: array index check might fail (e.g. when J = 5)[#13]
islands.ads:36:49: medium: contract case might fail[#4]
islands.ads:37:20: medium: array index check might fail (e.g. when I = 5)[#6]
islands.ads:37:25: medium: array index check might fail[#7]
islands.ads:37:30: medium: contract case might fail[#5]
