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