Add option to bind new local variables with proc change#964

strub merged 1 commit intomainEasyCrypt/easycrypt:mainfrom

feature_proc_change_add_varsEasyCrypt/easycrypt:feature_proc_change_add_varsCopy head branch name to clipboard