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.
pred can flow to
succ, by jumping from one callable to
another. Additional steps specified by the configuration are not
taken into account.