Predicate MakeImplStage1::ImplStage1::Stage1::revFlowState
Import path
import codeql.dataflow.internal.DataFlowImplStage1predicate revFlowState(FlowState state)import codeql.dataflow.internal.DataFlowImplStage1predicate revFlowState(FlowState state)