public void printTable(BDD b) { printTable0((BuDDyBDD) b); }
public void printTable(BDD b) { BuDDyBDD bb = (BuDDyBDD) b; printTable0(bb._id); }
    public void printTable(BDD b) { printTable0((BuDDyBDD) b); }