throw new JavaBDDException(BDD_ILLBDD);
bdd_error(BDD_ILLBDD);
    int bdd_var(int root) {        CHECK(root);        if (root < 2)            throw new JavaBDDException(BDD_ILLBDD);        return (bddlevel2var[LEVEL(root)]);    }