bool truthtable_set_discard(
    struct truthtable_set* this,
    truthtable_t truthtable);