Import path
import codeql.dataflow.internal.DataFlowImplCommon
predicate reducedViableImplInCallContext(Call call, Callable c, Call ctx)
import codeql.dataflow.internal.DataFlowImplCommon
predicate reducedViableImplInCallContext(Call call, Callable c, Call ctx)