let print_summaries fmt epts =
    let funcs fname entries =
      Format.fprintf fmt "@.--- Summaries for %s ---@." fname;
      let sums entry =
        Format.fprintf fmt "@.FROM@.";
        print_node fmt entry;
        let exits = (get_entry entry).exit_pts in
        nmap_iter (fun exit _ ->
          Format.fprintf fmt "@.TO@.";
          print_node fmt exit) exits in
      nset_iter sums entries in
    iter_pts funcs epts