[Certora] fix revert timeout #416

Closed QGarchery closed 6 months ago