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)