One bug in the split() function has been corrected.
However, still another open bug: centralize computation of combined_edges in one class, and use mutexes.