Predicate MakeImplStage1::ImplStage1::additionalJumpStep1
Holds if the additional step from node1 to node2 jumps between callables.
Import path
import codeql.dataflow.internal.DataFlowImplStage1predicate additionalJumpStep1(NodeEx node1, NodeEx node2, string model)