Allow partitions to be pruned more efficienty (Ashutosh Bapat, YuyaWatari, David Rowley) § §typo, "efficienty" should be "efficiently"?