Improve code positions (match + extended assignments) #3428

Job	Run time
EasyCrypt compilation (opam)	1m 14s
EasyCrypt compilation (nix)	1m 14s
Fetch EasyCrypt External Projects Matrix	2s
Check EasyCrypt Libraries (unit)	1m 19s
Check EasyCrypt Libraries (stdlib)	5m 2s
Check EasyCrypt External Projects (jasmin-eclib, https://github.com/jasmin-lang/jasmin, main, ecl...	1m 54s
Check EasyCrypt External Projects (sha3, https://gitlab.com/easycrypt/sha3, next, ., config/tests...	12m 20s
Check EasyCrypt Libraries (examples)	3m 14s
Check EasyCrypt External Projects (cryptobox, https://gitlab.com/fdupress/ec-cryptobox, next, ., ...	2m 34s
Check EasyCrypt External Projects (xsalsa20, https://gitlab.com/fdupress/ec-xsalsa, master, ., co...	1m 43s
Check EasyCrypt External Projects (xmss-acai, https://github.com/MM45/FV-XMSS-EC, master, ., conf...	7m 44s
Check EasyCrypt External Projects (xmss-fsai, https://github.com/MM45/FV-XMSS-EC, master, ., conf...	6m 45s
Check EasyCrypt External Projects (sphincsplus, https://github.com/MM45/FV-SPHINCSPLUS-EC, master...	21m 0s
Check EasyCrypt External Projects (set-status)	2s
Notification	4s
	1h 6m 11s

Provide feedback