Updated allocator::has_allocated to return tribool