let
get_pre_edges cfg n = pred_e cfg n