Predicate signature TypeTrackingInput::withContentStep
Holds if type-tracking should step from nodeFrom to nodeTo if inside a
content matched by filter.
signature predicate withContentStep(Node nodeFrom, LocalSourceNode nodeTo, ContentFilter filter)