In matching, do not unify a memory with itself #4155

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

Provide feedback