main.adb:20:07: warning: initialization of "Matrix" has no effect[#0]
main.adb:22:07: warning: initialization of "Visited" has no effect[#1]
main.adb:25:66: medium: array index check might fail [possible explanation: subprogram at line 17 should mention j in a precondition][#7]
main.adb:29:19: warning: unused assignment[#2]
main.adb:30:15: warning: unused assignment[#3]
main.adb:31:15: warning: unused assignment[#4]
main.adb:32:15: warning: unused assignment[#5]
main.adb:33:15: warning: unused assignment[#6]
main.adb:50:31: medium: overflow check might fail (e.g. when Count = Integer'First and i = 2 and j = 3) [possible explanation: subprogram at line 38 should mention Map_Array in a precondition][#8]
