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)