public void addVarBlock(BDD var, boolean fixed) { throw new BDDException();
public void addVarBlock(int first, int last, boolean fixed) { throw new UnsupportedOperationException();
    public void addVarBlock(BDD var, boolean fixed) {        throw new BDDException();    }