private void do_flow_edge_interval_merge() { for (HeapInsIntervalManager him : flowto.values()) { if (him.isThereUnprocessedObject()) him.merge_flow_edges(); } }