Predicate jumpStep
Holds if data can flow from node1 to node2 in a way that loses the
calling context. For example, this would happen with flow through a
global or static variable.
Import path
import semmle.code.cpp.ir.dataflow.internal.DataFlowPrivate