exists_empty_lt_set cleaned

Made the exists_empty_lt_set clean and readable
(originally finished it late at night in a hurry and it
greatly reflected that fact)