Predicate signature TypeTrackingInput::jumpStep

Holds if data can flow from nodeFrom to nodeTo in a way that discards call contexts.