return ite0((BuDDyBDD) thenBDD, (BuDDyBDD) elseBDD);
BuDDyBDD c = (BuDDyBDD) thenBDD; BuDDyBDD d = (BuDDyBDD) elseBDD; int b = ite0(_id, c._id, d._id); return new BuDDyBDD(b);
        public BDD ite(BDD thenBDD, BDD elseBDD) {            return ite0((BuDDyBDD) thenBDD, (BuDDyBDD) elseBDD);        }