Address review comment

cpp/ql/lib/experimental/semmle/code/cpp/ir/dataflow/internal/DataFlowImpl.qll

@@ -693,6 +693,7 @@ private module Stage1 implements StageSig {
     (
       cc = false
       or
+      cc = true and
       not reducedViableImplInCallContext(call, _, _)
     )
     or

cpp/ql/lib/experimental/semmle/code/cpp/ir/dataflow/internal/DataFlowImpl2.qll

@@ -693,6 +693,7 @@ private module Stage1 implements StageSig {
     (
       cc = false
       or
+      cc = true and
       not reducedViableImplInCallContext(call, _, _)
     )
     or

cpp/ql/lib/experimental/semmle/code/cpp/ir/dataflow/internal/DataFlowImpl3.qll

@@ -693,6 +693,7 @@ private module Stage1 implements StageSig {
     (
       cc = false
       or
+      cc = true and
       not reducedViableImplInCallContext(call, _, _)
     )
     or

cpp/ql/lib/experimental/semmle/code/cpp/ir/dataflow/internal/DataFlowImpl4.qll

@@ -693,6 +693,7 @@ private module Stage1 implements StageSig {
     (
       cc = false
       or
+      cc = true and
       not reducedViableImplInCallContext(call, _, _)
     )
     or

cpp/ql/lib/semmle/code/cpp/dataflow/internal/DataFlowImpl.qll

@@ -693,6 +693,7 @@ private module Stage1 implements StageSig {
     (
       cc = false
       or
+      cc = true and
       not reducedViableImplInCallContext(call, _, _)
     )
     or

cpp/ql/lib/semmle/code/cpp/dataflow/internal/DataFlowImpl2.qll

@@ -693,6 +693,7 @@ private module Stage1 implements StageSig {
     (
       cc = false
       or
+      cc = true and
       not reducedViableImplInCallContext(call, _, _)
     )
     or

cpp/ql/lib/semmle/code/cpp/dataflow/internal/DataFlowImpl3.qll

@@ -693,6 +693,7 @@ private module Stage1 implements StageSig {
     (
       cc = false
       or
+      cc = true and
       not reducedViableImplInCallContext(call, _, _)
     )
     or

cpp/ql/lib/semmle/code/cpp/dataflow/internal/DataFlowImpl4.qll

@@ -693,6 +693,7 @@ private module Stage1 implements StageSig {
     (
       cc = false
       or
+      cc = true and
       not reducedViableImplInCallContext(call, _, _)
     )
     or

cpp/ql/lib/semmle/code/cpp/dataflow/internal/DataFlowImplLocal.qll

@@ -693,6 +693,7 @@ private module Stage1 implements StageSig {
     (
       cc = false
       or
+      cc = true and
       not reducedViableImplInCallContext(call, _, _)
     )
     or

cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowImpl.qll

@@ -693,6 +693,7 @@ private module Stage1 implements StageSig {
     (
       cc = false
       or
+      cc = true and
       not reducedViableImplInCallContext(call, _, _)
     )
     or

cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowImpl2.qll

@@ -693,6 +693,7 @@ private module Stage1 implements StageSig {
     (
       cc = false
       or
+      cc = true and
       not reducedViableImplInCallContext(call, _, _)
     )
     or

cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowImpl3.qll

@@ -693,6 +693,7 @@ private module Stage1 implements StageSig {
     (
       cc = false
       or
+      cc = true and
       not reducedViableImplInCallContext(call, _, _)
     )
     or

cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowImpl4.qll

@@ -693,6 +693,7 @@ private module Stage1 implements StageSig {
     (
       cc = false
       or
+      cc = true and
       not reducedViableImplInCallContext(call, _, _)
     )
     or

csharp/ql/lib/semmle/code/csharp/dataflow/internal/DataFlowImpl.qll

@@ -693,6 +693,7 @@ private module Stage1 implements StageSig {
     (
       cc = false
       or
+      cc = true and
       not reducedViableImplInCallContext(call, _, _)
     )
     or

csharp/ql/lib/semmle/code/csharp/dataflow/internal/DataFlowImpl2.qll

@@ -693,6 +693,7 @@ private module Stage1 implements StageSig {
     (
       cc = false
       or
+      cc = true and
       not reducedViableImplInCallContext(call, _, _)
     )
     or

csharp/ql/lib/semmle/code/csharp/dataflow/internal/DataFlowImpl3.qll

@@ -693,6 +693,7 @@ private module Stage1 implements StageSig {
     (
       cc = false
       or
+      cc = true and
       not reducedViableImplInCallContext(call, _, _)
     )
     or

csharp/ql/lib/semmle/code/csharp/dataflow/internal/DataFlowImpl4.qll

@@ -693,6 +693,7 @@ private module Stage1 implements StageSig {
     (
       cc = false
       or
+      cc = true and
       not reducedViableImplInCallContext(call, _, _)
     )
     or

csharp/ql/lib/semmle/code/csharp/dataflow/internal/DataFlowImpl5.qll

@@ -693,6 +693,7 @@ private module Stage1 implements StageSig {
     (
       cc = false
       or
+      cc = true and
       not reducedViableImplInCallContext(call, _, _)
     )
     or

csharp/ql/lib/semmle/code/csharp/dataflow/internal/DataFlowImplForContentDataFlow.qll

@@ -693,6 +693,7 @@ private module Stage1 implements StageSig {
     (
       cc = false
       or
+      cc = true and
       not reducedViableImplInCallContext(call, _, _)
     )
     or

go/ql/lib/semmle/go/dataflow/internal/DataFlowImpl.qll

@@ -693,6 +693,7 @@ private module Stage1 implements StageSig {
     (
       cc = false
       or
+      cc = true and
       not reducedViableImplInCallContext(call, _, _)
     )
     or

go/ql/lib/semmle/go/dataflow/internal/DataFlowImpl2.qll

@@ -693,6 +693,7 @@ private module Stage1 implements StageSig {
     (
       cc = false
       or
+      cc = true and
       not reducedViableImplInCallContext(call, _, _)
     )
     or

go/ql/lib/semmle/go/dataflow/internal/DataFlowImplForStringsNewReplacer.qll

@@ -693,6 +693,7 @@ private module Stage1 implements StageSig {
     (
       cc = false
       or
+      cc = true and
       not reducedViableImplInCallContext(call, _, _)
     )
     or

java/ql/lib/semmle/code/java/dataflow/internal/DataFlowImpl.qll

@@ -693,6 +693,7 @@ private module Stage1 implements StageSig {
     (
       cc = false
       or
+      cc = true and
       not reducedViableImplInCallContext(call, _, _)
     )
     or

java/ql/lib/semmle/code/java/dataflow/internal/DataFlowImpl2.qll

@@ -693,6 +693,7 @@ private module Stage1 implements StageSig {
     (
       cc = false
       or
+      cc = true and
       not reducedViableImplInCallContext(call, _, _)
     )
     or

java/ql/lib/semmle/code/java/dataflow/internal/DataFlowImpl3.qll

@@ -693,6 +693,7 @@ private module Stage1 implements StageSig {
     (
       cc = false
       or
+      cc = true and
       not reducedViableImplInCallContext(call, _, _)
     )
     or

java/ql/lib/semmle/code/java/dataflow/internal/DataFlowImpl4.qll

@@ -693,6 +693,7 @@ private module Stage1 implements StageSig {
     (
       cc = false
       or
+      cc = true and
       not reducedViableImplInCallContext(call, _, _)
     )
     or

java/ql/lib/semmle/code/java/dataflow/internal/DataFlowImpl5.qll

@@ -693,6 +693,7 @@ private module Stage1 implements StageSig {
     (
       cc = false
       or
+      cc = true and
       not reducedViableImplInCallContext(call, _, _)
     )
     or

java/ql/lib/semmle/code/java/dataflow/internal/DataFlowImpl6.qll

@@ -693,6 +693,7 @@ private module Stage1 implements StageSig {
     (
       cc = false
       or
+      cc = true and
       not reducedViableImplInCallContext(call, _, _)
     )
     or

java/ql/lib/semmle/code/java/dataflow/internal/DataFlowImplForOnActivityResult.qll

@@ -693,6 +693,7 @@ private module Stage1 implements StageSig {
     (
       cc = false
       or
+      cc = true and
       not reducedViableImplInCallContext(call, _, _)
     )
     or

java/ql/lib/semmle/code/java/dataflow/internal/DataFlowImplForSerializability.qll

@@ -693,6 +693,7 @@ private module Stage1 implements StageSig {
     (
       cc = false
       or
+      cc = true and
       not reducedViableImplInCallContext(call, _, _)
     )
     or

python/ql/lib/semmle/python/dataflow/new/internal/DataFlowImpl.qll

@@ -693,6 +693,7 @@ private module Stage1 implements StageSig {
     (
       cc = false
       or
+      cc = true and
       not reducedViableImplInCallContext(call, _, _)
     )
     or

python/ql/lib/semmle/python/dataflow/new/internal/DataFlowImpl2.qll

@@ -693,6 +693,7 @@ private module Stage1 implements StageSig {
     (
       cc = false
       or
+      cc = true and
       not reducedViableImplInCallContext(call, _, _)
     )
     or

python/ql/lib/semmle/python/dataflow/new/internal/DataFlowImpl3.qll

@@ -693,6 +693,7 @@ private module Stage1 implements StageSig {
     (
       cc = false
       or
+      cc = true and
       not reducedViableImplInCallContext(call, _, _)
     )
     or

python/ql/lib/semmle/python/dataflow/new/internal/DataFlowImpl4.qll

@@ -693,6 +693,7 @@ private module Stage1 implements StageSig {
     (
       cc = false
       or
+      cc = true and
       not reducedViableImplInCallContext(call, _, _)
     )
     or

python/ql/lib/semmle/python/dataflow/new/internal/DataFlowImplForRegExp.qll

@@ -693,6 +693,7 @@ private module Stage1 implements StageSig {
     (
       cc = false
       or
+      cc = true and
       not reducedViableImplInCallContext(call, _, _)
     )
     or

ruby/ql/lib/codeql/ruby/dataflow/internal/DataFlowImpl.qll

@@ -693,6 +693,7 @@ private module Stage1 implements StageSig {
     (
       cc = false
       or
+      cc = true and
       not reducedViableImplInCallContext(call, _, _)
     )
     or

ruby/ql/lib/codeql/ruby/dataflow/internal/DataFlowImpl2.qll

@@ -693,6 +693,7 @@ private module Stage1 implements StageSig {
     (
       cc = false
       or
+      cc = true and
       not reducedViableImplInCallContext(call, _, _)
     )
     or

ruby/ql/lib/codeql/ruby/dataflow/internal/DataFlowImplForHttpClientLibraries.qll

@@ -693,6 +693,7 @@ private module Stage1 implements StageSig {
     (
       cc = false
       or
+      cc = true and
       not reducedViableImplInCallContext(call, _, _)
     )
     or

ruby/ql/lib/codeql/ruby/dataflow/internal/DataFlowImplForPathname.qll

@@ -693,6 +693,7 @@ private module Stage1 implements StageSig {
     (
       cc = false
       or
+      cc = true and
       not reducedViableImplInCallContext(call, _, _)
     )
     or

swift/ql/lib/codeql/swift/dataflow/internal/DataFlowImpl.qll

@@ -693,6 +693,7 @@ private module Stage1 implements StageSig {
     (
       cc = false
       or
+      cc = true and
       not reducedViableImplInCallContext(call, _, _)
     )
     or