Removed flag nrVariables which was never updated

Former-commit-id: 7955de2fe8 [formerly 4015219cea]
Former-commit-id: 7e5f23f84b

src/storage/expressions/ExpressionManager.cpp

@@ -52,7 +52,7 @@ namespace storm {
             }
         }
         
-        ExpressionManager::ExpressionManager() : nameToIndexMapping(), indexToNameMapping(), indexToTypeMapping(), numberOfVariables(0), numberOfBooleanVariables(0), numberOfIntegerVariables(0), numberOfBitVectorVariables(0), numberOfRationalVariables(0), numberOfAuxiliaryVariables(0), numberOfAuxiliaryBooleanVariables(0), numberOfAuxiliaryIntegerVariables(0), numberOfAuxiliaryBitVectorVariables(0), numberOfAuxiliaryRationalVariables(0), freshVariableCounter(0), types() {
+        ExpressionManager::ExpressionManager() : nameToIndexMapping(), indexToNameMapping(), indexToTypeMapping(), numberOfBooleanVariables(0), numberOfIntegerVariables(0), numberOfBitVectorVariables(0), numberOfRationalVariables(0), numberOfAuxiliaryVariables(0), numberOfAuxiliaryBooleanVariables(0), numberOfAuxiliaryIntegerVariables(0), numberOfAuxiliaryBitVectorVariables(0), numberOfAuxiliaryRationalVariables(0), freshVariableCounter(0), types() {
             // Intentionally left empty.
         }
         
@@ -232,7 +232,7 @@ namespace storm {
         }
         
         uint_fast64_t ExpressionManager::getNumberOfVariables() const {
-            return numberOfVariables;
+            return numberOfBooleanVariables + numberOfIntegerVariables + numberOfBitVectorVariables + numberOfRationalVariables;
         }
         
         uint_fast64_t ExpressionManager::getNumberOfBooleanVariables() const {

src/storage/expressions/ExpressionManager.h

@@ -405,9 +405,6 @@ namespace storm {
             // A mapping from all variable indices to their types.
             std::unordered_map<uint64_t, Type> indexToTypeMapping;
             
-            // The number of declared variables.
-            uint_fast64_t numberOfVariables;
-
             // Store counts for variables.
             uint_fast64_t numberOfBooleanVariables;
             uint_fast64_t numberOfIntegerVariables;