public BDDBitVector constantVector(int bitnum, long val) {
public BDDBitVector constantVector(int bitnum, int val) {
    public BDDBitVector constantVector(int bitnum, long val) {        BDDBitVector v = createBitVector(bitnum);        v.initialize(val);        return v;    }