Small fixes

Former-commit-id: ee8ef605c3

src/storage/dft/DFT.cpp

@@ -551,7 +551,7 @@ namespace storm {
                                rewrite.push_back(isdElemId);
                            }
                        }
-                       if(rewrite.size() > 2 && rewrite.size() < e->children().size() - 1) {
+                       if(rewrite.size() > 2 && rewrite.size() < children.size() - 1) {
                            return rewrite;
                        }
                        

src/storage/dft/DFTBuilder.cpp

@@ -12,6 +12,9 @@
 
 namespace storm {
     namespace storage {
+        
+        template<typename ValueType>
+        std::size_t DFTBuilder<ValueType>::mUniqueOffset = 0;
 
         template<typename ValueType>
         DFT<ValueType> DFTBuilder<ValueType>::build() {

src/storage/dft/DFTBuilder.h

@@ -26,7 +26,7 @@ namespace storm {
 
         private:
             std::size_t mNextId = 0;
-            std::size_t mUniqueOffset = 0;
+            static std::size_t mUniqueOffset;
             std::string mTopLevelIdentifier;
             std::unordered_map<std::string, DFTElementPointer> mElements;
             std::unordered_map<DFTElementPointer, std::vector<std::string>> mChildNames;