[refold]: allow rigid unification#923

strub wants to merge 2 commits intomainEasyCrypt/easycrypt:mainfrom

pose-match-fixEasyCrypt/easycrypt:pose-match-fixCopy head branch name to clipboard