/*
* Data range is a singleton, replace variable with constant (lines 17 - 18)
*/
if (dr.isFinite() && dr.isEnumerable() && !dr.containsAtLeast(2)) {
final Object c = dr.valueIterator().next();
it.remove();
consts.add(i);
constValues[i] = c;
normalized[i] = TRIVIALLY_SATISFIABLE;
continue;