if (dr.isFinite() && dr.isEnumerable() && !dr.containsAtLeast(2))
if (dr.isFinite() && dr.isEnumerable() && !dr.containsAtLeast(2))
ret = getDataRange(dconjunction); if (!ret.isFinite()) return TRIVIALLY_SATISFIABLE;
ret = getDataRange(dconjunction); if (!ret.isFinite()) return TRIVIALLY_SATISFIABLE;