Predicate signature InputSig::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.
signature DataFlowCallable viableImplInCallContext(DataFlowCall call, DataFlowCall ctx)