for G being _Graph
for W being Walk of G
for v being Vertex of G st v in W .vertices() holds
G .walkOf v is_substring_of W, 0