Member predicate SyntheticCallable::propagatesFlow
Holds if data may flow from input to output through this callable.
See SummarizedCallable::propagatesFlow for details.
predicate propagatesFlow(string input, string output, boolean preservesValue)