[Boost-users] Termination of breadth first search