for G being WGraph
for W being Walk of G st W is V5() holds
W .weightSeq() = {}