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

loutr wants to merge 1 commit into

EasyCrypt:mainEasyCrypt/easycrypt:mainfrom

loutr:1055-uptobad-variantloutr/easycrypt:1055-uptobad-variantCopy head branch name to clipboard