A big step forward: StorePruning and GarbageCollection are both
funcitonal, and the analysis performance has boost about an order of
magnitude.