WITNESS_LOCK_ORDER_KNOWN
& WITNESS_LOCK_ORDER_KNOWN) == 0)
& WITNESS_LOCK_ORDER_KNOWN &&
& WITNESS_LOCK_ORDER_KNOWN)
w_rmatrix[parent->w_index][child->w_index] |= WITNESS_LOCK_ORDER_KNOWN;