Predicate AV Rule 79::automaticallyReleased

predicate automaticallyReleased(Assignment acquire)