for G being _Graph
for W being Walk of G holds W .edges() = (W .reverse()) .edges()