Make sure that the tokens borrowed are not more than the tokens deposited
ph.forkPostState()
: Capture protocol state after transaction to verify invariant holdsregisterStorageChangeTrigger()
: Trigger on storage slots tracking supply and borrow totalsNote: Full examples with tests available in the Phylax Assertion Examples Repository.