t_str
if (!assert_range_eq(t, r->r[t], e->r[t], ctx, t_str(t)))
printf("STEP1 (%s) R1: ", t_str(init_t)); print_reg_state(fr1, "\n");
printf("STEP1 (%s) R2: ", t_str(init_t)); print_reg_state(fr2, "\n");
printf("STEP2 (%s) R1: ", t_str(init_t)); print_reg_state(fr1, "\n");
printf("STEP2 (%s) R2: ", t_str(init_t)); print_reg_state(fr2, "\n");
printf("STEP3 (%s) FALSE R1:", t_str(cond_t)); print_reg_state(fr1, "\n");
printf("STEP3 (%s) FALSE R2:", t_str(cond_t)); print_reg_state(fr2, "\n");
printf("STEP3 (%s) TRUE R1:", t_str(cond_t)); print_reg_state(tr1, "\n");
printf("STEP3 (%s) TRUE R2:", t_str(cond_t)); print_reg_state(tr2, "\n");
snappendf(sb, "(%s)", t_str(t->init_t));
snappendf(sb, " (%s)%s ", t_str(t->cond_t), use_op ? op_str(t->op) : "<op>");
t_str(init_t), t_str(cond_t));
t_str(init_t), t_str(cond_t));
t_str(init_t), t_str(cond_t));
t_str(init_t), t_str(cond_t));
snappendf(sb, "%s%s=", cnt++ ? "," : "", t_str(t));
printf("REFINING (%s) (%s)SRC=", ctx, t_str(s_t));
printf(" (%s)DST_OLD=", t_str(d_t));
printf(" (%s)DST_NEW=", t_str(d_t));