DECISIONMAP_FALSE
if (r->p < 0 && decisionmap[-r->p] == 0 && DECISIONMAP_FALSE(r->w2))
else if (r->w2 < 0 && decisionmap[-r->w2] == 0 && DECISIONMAP_FALSE(r->p))
if (new || DECISIONMAP_FALSE(r->p))
else if (!DECISIONMAP_FALSE(p))
&& !DECISIONMAP_FALSE(r->p)) /* and not FALSE */
&& !DECISIONMAP_FALSE(p)) /* and not FALSE */
if (DECISIONMAP_FALSE(other_watch)) /* check if literal is FALSE */