let
edge_dst e =
CFG
.
E
.dst e