bullets: focusing operators behind +strict_bullets pragma#1017

strub wants to merge 1 commit into

mainEasyCrypt/easycrypt:mainfrom

forced-bulletsEasyCrypt/easycrypt:forced-bulletsCopy head branch name to clipboard