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(Nd node1, Nd node2, boolean preservesValue, Type t, LocalCallContext lcc, string label)