Holds if data may flow from some source to sink for this configuration.
sink
predicate hasFlowTo(Node sink)