print_refinement
print_refinement(t, x, d_t, old, r->r[d_t], ctx);
print_refinement(s_t, r->r[s_t], d_t, old, r->r[d_t], ctx);