if (!ISCONST(pol)) { bdd_error(BDD_ILLBDD); return bddfalse; }
    int bdd_satoneset(int r, int var, int pol) {        int res;        CHECKa(r, bddfalse);        if (ISZERO(r))            return r;        if (!ISCONST(pol)) {            bdd_error(BDD_ILLBDD);            return bddfalse;        }        bdd_disable_reorder();        INITREF();        satPolarity = pol;        res = satoneset_rec(r, var);        bdd_enable_reorder();        checkresize();        return res;    }