For an overview of this library, along with tutorials and examples, see CodeQL for Java
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)