Distribution can be bricked, and double claims by a few holders are possible when owner calls `LiquidInfrastructureERC20::setDistributableERC20s`

Looping over unbounded `pendingStakes` array can lead to permanent DoS and frozen funds

Wrong Implementation of `LiquidationPool::empty` excludes holder with pending stakes when decreasing a position, resulting in exclusion from asset distribution

Lender contract can be drained by re-entrancy in `setPool`

During refinance() new Pool balance debt is subtracted twice

Lender contract can be drained by re-entrancy in `seizeLoan`

Zero address leads to transaction reverts

Move the Duplicate Checks into a Modifier

Multiple accesses of a mapping/array should use a local variable cache.

+= and -= are more expensive

Unbounded loop in Lender.sol functions may revert.

Compromised / Malicious owner of `Lender.sol` can favour old pool by transfering all loans to new pool when `buyLoan` called and receive excess rewards.

Repeated code

Unwanted gas expenditure by recomputing already computed value

Refactor checks involving constants first followed by that include state variables to save gas.