It may still be worth having an efficient detection (since de-duplication is sub-linear in tx count and in the checkpoint scenario we need to do it for all covered blocks). But resolution becomes simpler. With an efficient algorithm the detection is logarithmic.