Predicate DataFlowPrivate::jumpStep

Holds if data can flow from node1 to node2 through a static field or variable capture.

predicate jumpStep(Node node1, Node node2)