Import path
import codeql.dataflow.internal.DataFlowImplCommon
predicate reducedViableImplInReturn(DataFlowCallable c, DataFlowCall call)
import codeql.dataflow.internal.DataFlowImplCommon
predicate reducedViableImplInReturn(DataFlowCallable c, DataFlowCall call)