Predicate signature TypeTrackingInput::withoutContentStep
Holds if type-tracking should step from nodeFrom to nodeTo but block
flow of contents matched by filter.
signature predicate withoutContentStep(Node nodeFrom, LocalSourceNode nodeTo, ContentFilter filter)