[Certora] No subtraction underflow (WIP)#1014

QGarchery wants to merge 2 commits into

mainmorpho-org/midnight:mainfrom

no-subtraction-underflowmorpho-org/midnight:no-subtraction-underflowCopy head branch name to clipboard