Member predicate Private :: TestOutput :: RelevantSummarizedCallable :: relevantSummary
Holds if flow is propagated between input and output.
predicate
relevantSummary
(
SummaryComponentStack
input
,
SummaryComponentStack
output
,
boolean
preservesValue
)