set_extra_expr_true_false
set_extra_expr_true_false(left->unop, true_state, false_state);
set_extra_expr_true_false(left, left_true_state, left_false_state);
set_extra_expr_true_false(right, right_true_state, right_false_state);
set_extra_expr_true_false(shift->right, alloc_estate_rl(rl), NULL);
set_extra_expr_true_false(var,
set_extra_expr_true_false(expr->left,