islands.adb:40:31: medium: overflow check might fail[#2]
islands.ads:31:07: warning: postcondition does not check the outcome of calling "Visit_Islands"
islands.ads:31:07: warning: postcondition does not mention function result
islands.ads:31:15: medium: postcondition might fail[#1]
islands.ads:31:62: medium: array index check might fail[#0]
