Predicate MakeImplStage1::ImplStage1::Stage1WithState::readStepCand
Import path
import codeql.dataflow.internal.DataFlowImplStage1predicate readStepCand(Nd node1, Content c, Nd node2)import codeql.dataflow.internal.DataFlowImplStage1predicate readStepCand(Nd node1, Content c, Nd node2)