islands.adb:39:31: medium: overflow check might fail[#5]
islands.ads:34:39: medium: array index check might fail (e.g. when I = 5) [possible explanation: subprogram at line 31 should mention I in a precondition][#1]
islands.ads:34:41: medium: array index check might fail (e.g. when J = 6) [possible explanation: subprogram at line 31 should mention J in a precondition][#2]
islands.ads:35:39: medium: array index check might fail (e.g. when I = 0) [possible explanation: subprogram at line 31 should mention I in a precondition][#3]
islands.ads:35:41: medium: array index check might fail (e.g. when J = 6) [possible explanation: subprogram at line 31 should mention J in a precondition][#4]
islands.ads:35:52: medium: contract case might fail[#0]
