Predicate MakeImpl::Impl::MkStage::Stage::LocalFlowBigStep::localFlowBigStep
Holds if node1 can step to node2 in one or more local steps and this
path can occur as a maximal subsequence of local steps in a dataflow path.
Import path
import codeql.dataflow.internal.DataFlowImplpredicate localFlowBigStep(Nd node1, Nd node2, boolean preservesValue, Type t, LocalCallContext callContext, string label)