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