struct truthtable_set* new_truthtable_set(void);