[Boost-users] Boost Graph: preventing duplicate vertices when constructing graph incrementally