let get_post_edges cfg v = 
  try let v' = node_after cfg v in pred_e cfg v'
  with Not_found -> []