let is_src_fun_called prj kf =
  let kf_entry, _library = Globals.entry_point () in
  let fpred f =
    if (kf_entry == f)
    then M.is_src_fun_visible prj f (* for the entry point *)
    else M.is_src_fun_called  prj f (* for the others *)
  in exists_fun_callers fpred kf