Allow substitutions of locals using the same memory as that used by a Pr#870

strub merged 1 commit intomainEasyCrypt/easycrypt:mainfrom

subst-with-prEasyCrypt/easycrypt:subst-with-prCopy head branch name to clipboard