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