Improve transitivity* and replace* #3650

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

Provide feedback