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