return compose0((BuDDyBDD) that, var);
BuDDyBDD c = (BuDDyBDD) that; int b = compose0(_id, c._id, var); return new BuDDyBDD(b);
        public BDD compose(BDD that, int var) {            return compose0((BuDDyBDD) that, var);        }