Characteristic predicate DataFlow::VarAccessBarrier::VarAccessBarrier

VarAccessBarrier()