Improve code positions (match + extended assignments) #3430

Job	Run time
EasyCrypt compilation (opam)	1m 12s
Fetch EasyCrypt External Projects Matrix	3s
EasyCrypt compilation (nix)	1m 23s
Check EasyCrypt Libraries (unit)	1m 17s
Check EasyCrypt Libraries (stdlib)	5m 11s
Check EasyCrypt External Projects (jasmin-eclib, https://github.com/jasmin-lang/jasmin, main, ecl...	1m 59s
Check EasyCrypt External Projects (sha3, https://gitlab.com/easycrypt/sha3, next, ., config/tests...	12m 30s
Check EasyCrypt Libraries (examples)	3m 1s
Check EasyCrypt External Projects (cryptobox, https://gitlab.com/fdupress/ec-cryptobox, next, ., ...	2m 25s
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 51s
Check EasyCrypt External Projects (xmss-fsai, https://github.com/MM45/FV-XMSS-EC, master, ., conf...	6m 49s
Check EasyCrypt External Projects (sphincsplus, https://github.com/MM45/FV-SPHINCSPLUS-EC, master...	21m 18s
Check EasyCrypt External Projects (set-status)	4s
Notification	5s
	1h 6m 51s

Provide feedback