Member predicate MkSummary::propagatesFlow

Holds if data may flow from input to output through this callable.

preservesValue indicates whether this is a value-preserving step or a taint-step.

See the library customization docs for the syntax of the input and output parameters.