https://github.com/Badger-Finance/ebtc/blob/d39d14b125f1957abac6ac31cc8066950d5219e3/packages/contracts/contracts/LiquidationLibrary.sol#L83 Seems like the check checks twice for ICR < MCR, costs tens of extra gas (no biggie)
https://github.com/Badger-Finance/ebtc/blob/d39d14b125f1957abac6ac31cc8066950d5219e3/packages/contracts/contracts/LiquidationLibrary.sol#L83
Seems like the check checks twice for ICR < MCR, costs tens of extra gas (no biggie)