return unique0((BuDDyBDD) var);
BuDDyBDD c = (BuDDyBDD) var; int b = unique0(_id, c._id); return new BuDDyBDD(b);
        public BDD unique(BDD var) {            return unique0((BuDDyBDD) var);        }