Predicate signature MakeImpl::FullStateConfigSig::observeOverlayInformedIncrementalMode
Holds if sources and sinks should be filtered to only include those that
may lead to a flow path with either a source or a sink in the overlay database.
This only has an effect when running
in overlay-informed incremental mode. This should be used in conjunction
with the OverlayImpl implementation to merge the base results back in.
signature predicate observeOverlayInformedIncrementalMode()