Bug fix: extend `inst_eddies` of predecessor

Bug fix: extend `inst_eddies` of predecessor with `inst_edddies` of
circumvented node, instead of just name of circumvented node. The bug
is demonstrated in test `Edgelist_Isic_2` where segment 10 missed eddy
12 and segment 13 missed eddy 15.

Trajectories/segments.py

@@ -55,7 +55,10 @@ for v in g.vertices():
                 g.remove_edge(g.edge(v, v3))
                 g.add_edge(v2, v3)
 
-            g.vp.inst_eddies[v2].append(int(g.vp.name[v]))
+            # Add the segments represented by v to the segments
+            # represented by v2:
+            g.vp.inst_eddies[v2].extend(g.vp.inst_eddies[v])
+
             verts_to_del.append(v)
     
 t1 = time.perf_counter()