[Certora] mutant 11#608

QGarchery wants to merge 2 commits intocertora/gambitmorpho-org/morpho-blue:certora/gambitfrom

certora/mutant-11morpho-org/morpho-blue:certora/mutant-11Copy head branch name to clipboard