let get_called_kf fct = match fct.enode with
  | Lval (Var vkf, NoOffset-> Some (Globals.Functions.get vkf)
  | _ -> None