Module MakeImpl::Impl::MkStage::Stage::LocalFlowBigStep

Provides a big-step relation for local flow steps.

The big-step releation is based on the localStepInput relation, restricted to nodes that are forwards and backwards reachable in this stage.

Import path

import codeql.dataflow.internal.DataFlowImpl

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.
localFlowBigStepTc	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.

localStepInput