fix handling of bounds in conseq equiv phoare #4103

Job	Run time
EasyCrypt compilation (nix)	1m 47s
EasyCrypt compilation (opam)	2m 50s
Fetch EasyCrypt External Projects Matrix	6s
Check EasyCrypt Libraries (examples)	5m 23s
Check EasyCrypt Libraries (stdlib)	6m 9s
Check EasyCrypt Libraries (unit)	3m 58s
Check EasyCrypt External Projects (cryptobox, https://gitlab.com/fdupress/ec-cryptobox, next, ., ...	4m 5s
Check EasyCrypt External Projects (jasmin-eclib, https://github.com/jasmin-lang/jasmin, main, ecl...	3m 30s
Check EasyCrypt External Projects (sha3, https://gitlab.com/easycrypt/sha3, next, ., config/tests...	12m 36s
Check EasyCrypt External Projects (xmss-acai, https://github.com/MM45/FV-XMSS-EC, master, ., conf...	8m 14s
Check EasyCrypt External Projects (xsalsa20, https://gitlab.com/fdupress/ec-xsalsa, ec-main, ., c...	3m 15s
Check EasyCrypt External Projects (sphincsplus, https://github.com/MM45/FV-SPHINCSPLUS-EC, master...	20m 8s
Check EasyCrypt External Projects (xmss-fsai, https://github.com/MM45/FV-XMSS-EC, master, ., conf...	7m 6s
Check EasyCrypt External Projects (set-status)	2s
Notification	4s
	1h 19m 13s

Provide feedback