[Certora] Stay healthy liquidate

[QGarchery]

Todo:

• [ ] make sure that it goes through
• [x] refactor the rule to align its style with the rest
• [x] wait for it to pass on certora-cli, and switch to certora-cli