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