Refactoring.
Property tests for hash identifier calculation.
New state data structure.