Member predicate File::FilePathConversionSummary::propagatesFlowExt

Same as

propagatesFlow(
  SummaryComponentStack input, SummaryComponentStack output, boolean preservesValue
)

but uses an external (string) representation of the input and output stacks.