Characteristic predicate BufferAccess :: BufferAccess
BufferAccess
(
)