[Certora] positive last update #406

Closed QGarchery closed 8 months ago