Dataflow: Move viableImplNotCallContextReducedReverse to DataFlowImplCommon::CallContextSensitivity.

Author: aschackmull

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

@@ -2569,10 +2569,6 @@ module MakeImpl<LocationSig Location, InputSig<Location> Lang> {
       Cc ccNone() { result instanceof CallContextAny }
 
       CcCall ccSomeCall() { result instanceof CallContextSomeCall }
-
-      predicate viableImplNotCallContextReducedReverse(CcNoCall ctx) {
-        ctx instanceof CallContextAny
-      }
     }
 
     private module Stage2Param implements MkStage<Stage1>::StageParam {

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

@@ -593,6 +593,14 @@ module MakeImplCommon<LocationSig Location, InputSig<Location> Lang> {
         )
       }
 
+      /**
+       * Holds if a return does not have a reduced set of viable call sites to
+       * return to in call context `ctx`.
+       */
+      predicate viableImplNotCallContextReducedReverse(CallContextNoCall ctx) {
+        ctx instanceof CallContextAny
+      }
+
       /**
        * Resolves a return from `callable` in `cc` to `call`.
        */