Because individual Bitcoin transaction outputs cannot be divided, liquidations in Babylon's Aave V4 integration target one BTCVault at a time, allowing liquidators to make repeated calls until the borrower's position health is restored