let is_call_to ki kf =
    List.exists (fun caller -> caller == kf) (get_called_funcs ki)