let node_after cfg n = edge_dst (next_edge cfg n)