Member predicate DataFlow :: BarrierGuard :: checks
Holds if this guard validates e upon evaluating to v.
predicate
checks
(
Expr
e
,
AbstractValue
v
)