Predicate Dispatch::lowConfidenceDispatchTarget

Holds if m is a viable implementation of the method called in ma for which we only have imprecise open-world type-based dispatch resolution, and the dispatch type is likely to yield implausible dispatch targets.