islands.adb:22:20: medium: precondition might fail, cannot prove j > 1 (e.g. when j = 2)[#0]
islands.adb:40:33: medium: precondition might fail, cannot prove j > 1 (e.g. when j = 1)[#1]
islands.adb:41:31: medium: overflow check might fail[#2]
