Assert that a constant product is maintained in an AMM pool
forkPreState()
/ forkPostState()
: Compare reserve product before and after transactiongetStateChanges()
: Monitor reserve changes throughout transaction callstackNote: Full examples with tests available in the Phylax Assertion Examples Repository.