public abstract BDD relprod(BDD that, BDDVarSet var);
public BDD relprod(BDD that, BDDVarSet var) { return applyEx(that, BDDFactory.and, var); }
    public abstract BDD relprod(BDD that, BDDVarSet var);