let get_fi_call proj call = try let kf = get_called_kf call in if is_variadic kf then None else let fct_info = get_kf_fi proj kf in Some fct_info with SlicingTypes.PtrCallExpr -> None