Member predicate RemoteFlowSinkFunction::hasRemoteFlowSink
Holds if data described by description flows into input to a call to this function, and is then
send over a network connection.
predicate hasRemoteFlowSink(FunctionInput input, string description)