Predicate DispatchImpl::mayBenefitFromCallContext
Holds if the set of viable implementations that can be called by call
might be improved by knowing the call context.
Import path
import semmle.code.csharp.dataflow.internal.DataFlowDispatchpredicate mayBenefitFromCallContext(DataFlowCall call)