Predicate AV Rule 79::acquireExpr

An expression that acquires a resource, and the kind of resource that is acquired. The kind of a resource indicates which acquisition/release expressions can be paired.

predicate acquireExpr(Expr acquire, string kind)