let get_post_logic_label cfg v =
  match get_post_edges cfg v with [] -> None
  | e::_ -> (* TODO: is this ok to consider only one edge ? *)
      match get_edge_next_stmt cfg e with
        | None -> None
        | Some s ->  Some (Clabels.mk_logic_label s)