Freezing the state of data-structures for data-analysis or testing (diffing data-structures)