AccessSnapshot.AccessSnapshotElem
type t = {
access : Access.t;
thread : ThreadsDomain.t;
lock : bool;
ownership_precondition : OwnershipAbstractValue.t;
}