GetHashCodeSuccessiveAssertion implemented