Member predicate TaintedPath::MembershipTestBarrierGuard::blocks

Holds if this node blocks expression e provided it evaluates to outcome.

This will block all flow labels.