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