Predicate checkCallContextCall
Checks whether call can resolve to calltarget in the call context cc.
Assumes a context of calltarget = viableCallableExt(call).
Import path
import semmle.code.java.dataflow.internal.DataFlowImplCommonpredicate checkCallContextCall(CallContext cc, DataFlowCall call, DataFlowCallable calltarget)