Extend pruning to include state pruning. It would involve finding the *diff* between two states and discarding the relevant nodes.