Predicate MakeImpl::Impl::Stage1::readStepCand
Import path
import codeql.dataflow.internal.DataFlowImplpredicate readStepCand(NodeEx n1, Content c, NodeEx n2)import codeql.dataflow.internal.DataFlowImplpredicate readStepCand(NodeEx n1, Content c, NodeEx n2)