bullets: focusing operators behind +strict_bullets pragma#1017

strub merged 1 commit into

mainEasyCrypt/easycrypt:mainfrom

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