For other CodeQL resources, including tutorials and examples, see the CodeQL documentation
Holds if data must flow from source to sink for this configuration.
The corresponding paths are generated from the end-points and the graph
included in the module PathGraph.
predicate hasFlowPath(MustFlowPathNode source, MustFlowPathSink sink)