let is_src_fun_called proj kf =
  let fi = get_kf_fi proj kf in
  match fi.T.f_called_by with [] -> false | _ -> true