[Certora] Call resolution problem#253

gd-colin wants to merge 3 commits intomainmorpho-org/bundler3:mainfrom

colin@verif/forbiden-call-resolutionmorpho-org/bundler3:colin@verif/forbiden-call-resolutionCopy head branch name to clipboard