probably here, a precondition is missing
set_is_not_empty: not set.is_empty