for G being _Graph
for W1, W2 being Walk of G holds W1 is_a_prefix_of W1 .append W2