Fix suboptimality in sset-adjoin.