// before front were set to 0 predecessors during the previous
// iteration. During this new iteration, we have to visit the
// successors of these ones only, since they are the only ones
// before front were set to 0 predecessors during the previous
// iteration. During this new iteration, we have to visit the
// successors of these ones only, since they are the only ones