Predicate MakeImpl::Impl::MkStage::Stage::readStepCand
Import path
import codeql.dataflow.internal.DataFlowImplpredicate readStepCand(Nd node1, Content c, Nd node2)import codeql.dataflow.internal.DataFlowImplpredicate readStepCand(Nd node1, Content c, Nd node2)