return new TypedBDDDomain(factory.createDomain(a, b), a, b);
return new TypedBDDDomain(factory.getDomain(a), a, b);
    protected BDDDomain createDomain(int a, long b) {        return new TypedBDDDomain(factory.createDomain(a, b), a, b);    }