Fall back to checking equality of expressions in sim#997

oskgo wants to merge 1 commit into

mainEasyCrypt/easycrypt:mainfrom

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