public void xorWith(BDD that) { this.applyWith(that, BDDFactory.xor);
public BDD xorWith(BDD that) { return this.applyWith(that, BDDFactory.xor);
    public void xorWith(BDD that) {        this.applyWith(that, BDDFactory.xor);    }