WITNESS_CHILD
#define WITNESS_DESCENDANT_MASK (WITNESS_CHILD | WITNESS_DESCENDANT)
w_rmatrix[ci][pi] |= WITNESS_CHILD;