bounded_version_vector::empty()