Fix soundness bug with clone overrides of subtypes#1062

oskgo wants to merge 1 commit into

mainEasyCrypt/easycrypt:mainfrom

fix-subtypeEasyCrypt/easycrypt:fix-subtypeCopy head branch name to clipboard