fix: certora prover return value

[GalloDaSballo]

Either add or ignore, but this is in scope for C4 contest to ensure Certora works