DECISIONMAP_TRUE
if (DECISIONMAP_TRUE(v)) /* the one true literal */
if (DECISIONMAP_TRUE(v)) /* the one true literal */
if (DECISIONMAP_TRUE(other_watch))
if (DECISIONMAP_TRUE(v)) /* the one true literal */