bool truthtable_set_is_empty(
    const struct truthtable_set* this);