[PATCH 2/2] Mempool consistency check