Uniswap v4 Core Stateful Properties You're on the wrong branch, go here: https://github.com/trailofbits/v4-core/tree/add-stateful-properties/test/trailofbits