feat: variant for up-to-bad call/proc tactics#1055

loutr wants to merge 2 commits into

EasyCrypt:mainEasyCrypt/easycrypt:mainfrom

loutr:mainloutr/easycrypt:mainCopy head branch name to clipboard