let fold_pred f cfg n acc =
  let f e acc =
    match (edge_type e) with Enext -> acc | _ -> f (CFG.E.src e) acc
  in try CFG.fold_pred_e f (cfg.graph) n acc
  with Invalid_argument _ -> 
    (Wp_parameters.warning "[cfg.fold_pred] pb with node %a" pp_node n; acc)