Predicate DispatchImpl::viableImplInCallContext
Gets a viable dispatch target of call in the context ctx. This is
restricted to those calls for which a context might make a difference.
Import path
import semmle.code.csharp.dataflow.internal.DataFlowDispatch