For other CodeQL resources, including tutorials and examples, see Learning CodeQL
Holds if data may 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(PathNode source, PathNode sink)