let is_src_fun_visible prj = exists_fun_callers (M.is_src_fun_visible prj)