Member predicate Make::Public::BarrierGuardElement::isBarrierGuard
Holds if this element is a flow barrier guard of kind kind, for data
flowing in as described by input, when this evaluates to acceptingValue.
predicate isBarrierGuard(string input, string acceptingValue, string kind, Provenance provenance, string model)