}
while(already_processed < front) {
+ // Here, nodes before already_processed can be ignored, nodes
+ // before front were set to 0 predecessors during the previous
+ // iteration. We will add the
new_front = front;
while(already_processed < front) {
v = *(already_processed++);