Improve rewrite framing with formula-level read tracking#948

strub merged 1 commit intomainEasyCrypt/easycrypt:mainfrom

proc-change-with-exnEasyCrypt/easycrypt:proc-change-with-exnCopy head branch name to clipboard