Eliminate CombinedRealInterval::isDiscrete()