let is_src_fun_visible proj kf = let is_fi_top fi = match fi.T.fi_top with None -> false | Some _ -> true in is_src_fun_called proj kf || is_fi_top (get_kf_fi proj kf)