Predicate signature MakeImpl::Impl::MkStage::Stage::localStepSig
Holds if node1 can step to node2 in one or more local steps.
Import path
import codeql.dataflow.internal.DataFlowImplsignature predicate localStepSig(NodeEx node1, FlowState state1, NodeEx node2, FlowState state2, boolean preservesValue, DataFlowType t, LocalCallContext lcc, string label)