Auxilliary class to implement HASHED_SET.
ANY_HASHED_SET_NODE
The next one when some clash occurs.
ensure