return constrain0((BuDDyBDD) that);
BuDDyBDD c = (BuDDyBDD) that; int b = constrain0(_id, c._id); return new BuDDyBDD(b);
        public BDD constrain(BDD that) {            return constrain0((BuDDyBDD) that);        }