WITNESS_REVERSAL
if (w_rmatrix[w1->w_index][w->w_index] & WITNESS_REVERSAL)
w_rmatrix[w1->w_index][w->w_index] |= WITNESS_REVERSAL;
w_rmatrix[w->w_index][w1->w_index] |= WITNESS_REVERSAL;
if ((w_rmatrix[i][j] & WITNESS_REVERSAL) == 0 || i > j)
!(w_rmatrix[i][i] & WITNESS_REVERSAL)) {
w_rmatrix[i][i] |= WITNESS_REVERSAL;