Predicate MakeImpl::Impl::MkStage::Stage::LocalFlowBigStep::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.

This predicate should be used when localStepInput is already a big-step relation, which will do the same as localFlowBigStep, but avoids potential worst-case quadratic complexity.