for G being _Graph
for W being Walk of G
for e being object st not e in (W .last()) .edgesInOut() holds
W .addEdge e = W