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

oskgo wants to merge 4 commits intomainEasyCrypt/easycrypt:mainfrom

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