has_verbose_lockpair
if (has_verbose_lockpair(t, from, to))
if (data1 && !has_verbose_lockpair(t, i, j)) {
!has_verbose_lockpair(t, j, i)) {