Dataflow: Rename noPrunedViableImplInCallContext to viableImplNotCallContextReduced.

Author: aschackmull

shared/dataflow/codeql/dataflow/internal/DataFlowImpl.qll

@@ -2553,9 +2553,6 @@ module MakeImpl<LocationSig Location, InputSig<Location> Lang> {
     }
 
     private signature module Level1CallContextInputSig {
-      bindingset[call, ctx]
-      predicate noPrunedViableImplInCallContext(DataFlowCall call, CallContext ctx);
-
       predicate reducedViableImplInReturn(DataFlowCallable c, DataFlowCall call);
 
       DataFlowCall prunedViableImplInCallContextReverse(
@@ -2577,11 +2574,6 @@ module MakeImpl<LocationSig Location, InputSig<Location> Lang> {
 
       CcCall ccSomeCall() { result instanceof CallContextSomeCall }
 
-      bindingset[call, ctx]
-      predicate viableImplNotCallContextReduced(DataFlowCall call, Cc ctx) {
-        Input::noPrunedViableImplInCallContext(call, ctx)
-      }
-
       DataFlowCall viableImplCallContextReducedReverse(DataFlowCallable c, CcNoCall ctx) {
         result = Input::prunedViableImplInCallContextReverse(c, ctx)
       }

shared/dataflow/codeql/dataflow/internal/DataFlowImplCommon.qll

@@ -552,7 +552,7 @@ module MakeImplCommon<LocationSig Location, InputSig<Location> Lang> {
 
       /** Holds if `call` does not have a reduced set of dispatch targets in call context `ctx`. */
       bindingset[call, ctx]
-      predicate noPrunedViableImplInCallContext(DataFlowCall call, CallContext ctx) {
+      predicate viableImplNotCallContextReduced(DataFlowCall call, CallContext ctx) {
         exists(DataFlowCall outer | ctx = TSpecificCall(outer) |
           not Input2::reducedViableImplInCallContext(call, _, outer)
         )
@@ -572,7 +572,7 @@ module MakeImplCommon<LocationSig Location, InputSig<Location> Lang> {
       DataFlowCallable resolveCall(DataFlowCall call, CallContext cc) {
         result = viableImplCallContextReduced(call, cc)
         or
-        noPrunedViableImplInCallContext(call, cc) and
+        viableImplNotCallContextReduced(call, cc) and
         relevantCallEdgeIn(call, result)
       }