alloc_bstate
return alloc_bstate(0, -1ULL);
return alloc_bstate(0, possible);
set_state(my_id, sm->name, sm->sym, alloc_bstate(0, -1ULL));
return alloc_bstate(one->set & two->set, one->possible | two->possible);
(expr->op == SPECIAL_EQUAL) ? alloc_bstate(val.uvalue, val.uvalue) : NULL,
(expr->op == SPECIAL_EQUAL) ? NULL : alloc_bstate(val.uvalue, val.uvalue));
set_state_expr(my_id, expr->left, alloc_bstate(binfo->set, binfo->possible));
new = alloc_bstate(start->set | binfo->set, start->possible | binfo->possible);
new = alloc_bstate(start->set & binfo->set, start->possible & binfo->possible);
alloc_bstate(true_info.set, true_info.possible),
alloc_bstate(false_info.set, false_info.possible));
set_state(my_id, fullname, sym, alloc_bstate(set, possible));
return alloc_bstate(p->set, p->possible);