Fix comparison of fixpoints #4044

Job	Run time
EasyCrypt compilation (opam)	2m 52s
EasyCrypt compilation (nix)	1m 37s
Fetch EasyCrypt External Projects Matrix	3s
Check EasyCrypt Libraries (stdlib)	6m 16s
Check EasyCrypt External Projects (jasmin-eclib, https://github.com/jasmin-lang/jasmin, main, ecl...	3m 25s
Check EasyCrypt External Projects (xsalsa20, https://gitlab.com/fdupress/ec-xsalsa, ec-main, ., c...	3m 14s
Check EasyCrypt External Projects (xmss-fsai, https://github.com/MM45/FV-XMSS-EC, master, ., conf...	7m 41s
Check EasyCrypt External Projects (sha3, https://gitlab.com/easycrypt/sha3, next, ., config/tests...	14m 38s
Check EasyCrypt External Projects (sphincsplus, https://github.com/MM45/FV-SPHINCSPLUS-EC, master...	19m 58s
Check EasyCrypt Libraries (unit)	2m 53s
Check EasyCrypt External Projects (xmss-acai, https://github.com/MM45/FV-XMSS-EC, master, ., conf...	8m 31s
Check EasyCrypt External Projects (cryptobox, https://gitlab.com/fdupress/ec-cryptobox, next, ., ...	4m 4s
Check EasyCrypt Libraries (examples)	4m 48s
Check EasyCrypt External Projects (set-status)	5s
Notification	5s
	1h 20m 10s

Provide feedback