IR.BiabductionModels
val mem : Procname.t -> bool
Check if a summary for a given procedure exists in the models directory