main.adb:29:14: warning: subprogram "Visit_Islands" has no effect[#0]
main.adb:38:14: medium: array index check might fail (e.g. when i = 0)[#1]
main.adb:38:17: medium: array index check might fail (e.g. when j = 6)[#2]
main.adb:39:07: medium: precondition might fail, cannot prove Is_Unvisited_Land(Map_Array, i, j) (e.g. when i = 1 and j = 1)[#3]
main.adb:40:07: medium: precondition might fail, cannot prove Is_Unvisited_Land(Map_Array, i, j) (e.g. when i = 1 and j = 1)[#4]
main.adb:41:07: medium: precondition might fail, cannot prove Is_Unvisited_Land(Map_Array, i, j) (e.g. when i = 1 and j = 1)[#5]
main.adb:42:07: medium: precondition might fail, cannot prove Is_Unvisited_Land(Map_Array, i, j) (e.g. when i = 1 and j = 1)[#6]
main.adb:57:16: medium: precondition might fail, cannot prove Is_Unvisited_Land(Map_Array, i, j) (e.g. when i = 1 and j = 3) [possible explanation: subprogram at line 46 should mention Map_Array in a precondition][#7]
main.adb:58:31: medium: overflow check might fail[#8]
