Q_WRP
Q_WRP(q, q->lc.cons) == Q_WRP(q, q->lc.prod))
Q_WRP(q, q->lc.cons) == Q_WRP(q, q->lc.prod))
if ((Q_WRP(q, q->lc.cons) == Q_WRP(q, prod)) &&
if ((Q_WRP(q, q->lc.cons) != Q_WRP(q, prod)) &&
cons = (Q_WRP(q, q->lc.cons) | Q_IDX(q, q->lc.cons)) + 1;
val = (Q_OVF(q->lc.cons) | Q_WRP(q, cons) | Q_IDX(q, cons));
prod = (Q_WRP(q, q->lc.prod) | Q_IDX(q, q->lc.prod)) + 1;
val = (Q_OVF(q->lc.prod) | Q_WRP(q, prod) | Q_IDX(q, prod));