Characteristic predicate BufferAccess::ArrayExprBA::ArrayExprBA

ArrayExprBA()