let
node (v:
G
.
V
.label) = []