Tighten proc-change observability#953

strub merged 1 commit intomainEasyCrypt/easycrypt:mainfrom

proc-change-no-eq-for-postEasyCrypt/easycrypt:proc-change-no-eq-for-postCopy head branch name to clipboard