Member predicate TaintedPath::StartsWithDotDotSanitizer::blocks

Holds if this node blocks expression e from flow of type label, provided it evaluates to outcome.