Make casts from existing single sided formulas to two sided ones use a more robust pattern#851

strub merged 1 commit intomainEasyCrypt/easycrypt:mainfrom

robust-ss-to-ts-castsEasyCrypt/easycrypt:robust-ss-to-ts-castsCopy head branch name to clipboard