Member predicate MakeImpl::Impl::MkStage::Stage::SummaryCtx::isValidForFlowThrough
Holds if this context is valid as a flow-in context when flow-through is possible.
The boolean mustReturn indicates whether flow must return.
predicate isValidForFlowThrough(boolean mustReturn)