let
is_src_fun_visible prj = exists_fun_callers (
M
.is_src_fun_visible prj)