Summary

Liquidations has no effect on the liquidators' health factor because they are neither redeeming their collateral nor burning their DSC, but still a liquidator with a broken health factor can invoke DSCEngine::liquidate and only after performing a liquidation the operation reverts.

Recomendation

Move the check of the liquidator health factor to the top to follow the Check-Effects-Interactions pattern.