p.adb:8:17: info: overflow check proved[#2]
p.adb:15:17: info: overflow check proved[#16]
p.adb:22:17: info: overflow check proved[#11]
p.adb:29:17: info: overflow check proved[#5]
p.ads:12:14: medium: postcondition might fail, requires X = Integer'min[#0]
p.ads:12:37: medium: overflow check might fail[#1]
p.ads:15:06: info: complete contract cases proved[#15]
p.ads:15:06: info: disjoint contract cases proved[#17]
p.ads:15:40: info: contract case proved[#12]
p.ads:15:53: info: overflow check proved[#7]
p.ads:16:40: info: contract case proved[#4]
p.ads:20:14: info: postcondition proved[#14]
p.ads:21:06: info: complete contract cases proved[#6]
p.ads:21:06: info: disjoint contract cases proved[#8]
p.ads:21:40: info: contract case proved[#18]
p.ads:21:53: info: overflow check proved[#13]
p.ads:22:40: info: contract case proved[#3]
p.ads:27:14: info: postcondition proved[#10]
p.ads:27:55: info: overflow check proved[#9]
