struct variable* new_variable(
    struct string* name,
    truthtable_t value);