Pulselib.PulseModels
val dispatch : IR.Tenv.t -> IR.Procname.t -> PulseValueOrigin.t Absint.ProcnameDispatcher.Call.FuncArg.t list -> PulseModelsImport.model option