fix handling of bounds in conseq equiv phoare#837

oskgo wants to merge 2 commits intomainEasyCrypt/easycrypt:mainfrom

fix-834EasyCrypt/easycrypt:fix-834Copy head branch name to clipboard