Predicate jumpStepSharedWithTypeTracker

Set of jumpSteps that are shared with type-tracker implementation.

For ORM modeling we want to add jumpsteps to global dataflow, but since these are based on type-trackers, it’s important that these new ORM jumpsteps are not used in the type-trackers as well, as that would make evaluation of type-tracking recursive with the new jumpsteps.

Holds if pred can flow to succ, by jumping from one callable to another. Additional steps specified by the configuration are not taken into account.