Make sure that liquidations can only happen if the position is unhealthy
forkPreState()
captures health factor before liquidation, verifies position is actually unhealthyforkPostState()
verifies health factor improves after liquidationgetCallInputs()
monitors liquidation calls, validates seized assets and repaid shares are non-zero, enforces maximum liquidation amountsregisterCallTrigger()
: Triggers on liquidation function callsNote: Full examples with tests available in the Phylax Assertion Examples Repository.