Module Biabduction.ObjCDispatchModels

val is_model : IR.Procname.t -> bool