add_verbose_lockpair
add_verbose_lockpair(t, from, to);
add_verbose_lockpair(t, t->iter[recursion_count], to);
add_verbose_lockpair(t, i, j);
add_verbose_lockpair(t, j, i);