This actually seems to be a test of FIND-CONSTRAINT more than CONSETs per se (bitvectors do suck DO-CONSET, but the fact that we even use DO-CONSET for FIND-CONSTRAINT is lossy).
This actually seems to be a test of FIND-CONSTRAINT more than CONSETs per se (bitvectors do suck DO-CONSET, but the fact that we even use DO-CONSET for FIND-CONSTRAINT is lossy).