let
edge_key e = (
VL
.hash (
CFG
.
E
.src e)), (
VL
.hash (
CFG
.
E
.dst e))