else if ((r) < 0 || (r) >= bddnodesize)
else if (r < 0 || r >= bddnodesize)
    void CHECK(int r) {        if (!bddrunning)            bdd_error(BDD_RUNNING);        else if ((r) < 0 || (r) >= bddnodesize)            bdd_error(BDD_ILLBDD);        else if (r >= 2 && LOW(r) == -1)            bdd_error(BDD_ILLBDD);    }