[MLIR][Presburger] Remove redundant check from hasConsistentState

[Groverkss]

Summary

This patch removes a redundant check in hasConsistentState which is always true
after introduction of PresburgerSpace.

mlir/lib/Analysis/Presburger/IntegerPolyhedron.cpp

void IntegerPolyhedron::getLowerAndUpperBoundIndices(
   }
 }
 
 bool IntegerPolyhedron::hasConsistentState() const {
   if (!inequalities.hasConsistentState())
     return false;
   if (!equalities.hasConsistentState())
     return false;
-
-  // Catches errors where numDims, numSymbols, numIds aren't consistent.
-  if (getNumDimIds() > getNumIds() || getNumSymbolIds() > getNumIds() ||
-      getNumDimAndSymbolIds() > getNumIds())
-    return false;
-
   return true;
 }
 
 void IntegerPolyhedron::setAndEliminate(unsigned pos,
                                         ArrayRef<int64_t> values) {
   if (values.empty())
     return;
   assert(pos + values.size() <= getNumIds() &&