public void biimpWith(BDD that) { this.applyWith(that, BDDFactory.biimp);
public BDD biimpWith(BDD that) { return this.applyWith(that, BDDFactory.biimp);
    public void biimpWith(BDD that) {        this.applyWith(that, BDDFactory.biimp);    }