Add one side while rule with lossless #3476

Job	Run time
Check for Duplicates Jobs	5s
EasyCrypt compilation (opam)	1m 11s
Fetch EasyCrypt External Projects Matrix	5s
EasyCrypt compilation (nix)	1m 35s
Check EasyCrypt Libraries (unit)	1m 13s
Check EasyCrypt External Projects (jasmin-eclib, https://github.com/jasmin-lang/jasmin, main, ecl...	1m 50s
Check EasyCrypt External Projects (sha3, https://gitlab.com/easycrypt/sha3, next, ., config/tests...	1m 35s
Check EasyCrypt External Projects (cryptobox, https://gitlab.com/fdupress/ec-cryptobox, next, ., ...	1m 16s
Check EasyCrypt Libraries (stdlib)	4m 48s
Check EasyCrypt External Projects (xsalsa20, https://gitlab.com/fdupress/ec-xsalsa, master, ., co...	1m 17s
Check EasyCrypt Libraries (examples)	3m 7s
Check EasyCrypt External Projects (xmss-acai, https://github.com/MM45/FV-XMSS-EC, master, ., conf...	1m 25s
Check EasyCrypt External Projects (xmss-fsai, https://github.com/MM45/FV-XMSS-EC, master, ., conf...	1m 27s
Check EasyCrypt External Projects (sphincsplus, https://github.com/MM45/FV-SPHINCSPLUS-EC, master...	1m 57s
Check EasyCrypt External Projects (set-status)	3s
Notification	0s
	22m 54s

Provide feedback