Member predicate Filters::FilterJumpStep::step

Holds if data can flow from pred to succ via a callback chain. pred is the post-update node of the self parameter in a method, and succ is the self parameter of a subsequent method that is executed as part of the callback chain.