std:set included in NextSubVolume.h