SB-ONE+: Dealing with Sets Efficiently