New lazy/eager logic.#787

fdupress merged 1 commit intoEasyCrypt:mainEasyCrypt/easycrypt:mainfrom

loutr:reworked-lazy-eager-logic-squashedloutr/easycrypt:reworked-lazy-eager-logic-squashedCopy head branch name to clipboard