Make set-add/lattice faster