whitespace
Cleaner bitvector-based CONSET-EMPTY. Unsafe D-V-REF-WITH-OFFSET was fixed some revisions ago. Remember to write about in the final commit