@dataalways
In order to capture all possible mev edge cases the spec was intentionally designed to measure the change in balance of the proposer before/after the block. It's not elegant but it's robust. The question now is whether to carve out an exception for withdrawals or redesign the whole system.