__save_imaginary_state
__save_imaginary_state(left, tmp_true, tmp_false);
__save_imaginary_state(right, tmp_true, tmp_false);
void __save_imaginary_state(struct expression *expr, struct range_list *true_rl, struct range_list *false_rl);