Predicate jumpStep

Holds if data can flow from node1 to node2 through a non-local step that does not follow a call edge. For example, a step through a global variable. We throw away the call context and let us jump to any location AKA teleport steps local steps are preferible since they are more predictable and easier to control