Update assertion in BufferImpl::set_aterm
The assertion is triggered in some specific cases. Changing the condition seems to fix this issue. It might have been off by one all along.
The assertion is triggered in some specific cases. Changing the condition seems to fix this issue. It might have been off by one all along.