struct truthtable_set
{
    struct avl_tree_t* tree;
    
    unsigned refcount;
    
    size_t n;
};