Fix async while rule#935

lyonel2017 wants to merge 2 commits intomainEasyCrypt/easycrypt:mainfrom

asynchileEasyCrypt/easycrypt:asynchileCopy head branch name to clipboard