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