let edge_dst e = CFG.E.dst e