[Boost-users] [graph] abort algorithm execution from a visitor