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