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