fixed some things with respect to SEQs

Former-commit-id: 8460c4b5a5

src/storage/dft/DFT.cpp

@@ -333,6 +333,7 @@ namespace storm {
                     for(auto it1 = colourClass.second.cbegin(); it1 != colourClass.second.cend(); ++it1) {
                         std::vector<std::vector<size_t>> symClass;
                         if(foundEqClassFor.count(*it1) > 0) {
+                            // This item is already in a class.
                             continue;
                         }
                         if(!getGate(*it1)->hasOnlyStaticParents()) {

src/storage/dft/DFTBuilder.cpp

@@ -116,8 +116,7 @@ namespace storm {
             DFTRestrictionPointer restr;
             switch (tp) {
                 case DFTElementType::SEQ:
-                    restr = std::make_shared<DFTSeq < ValueType>>
-                    (mNextId++, name);
+                    restr = std::make_shared<DFTSeq<ValueType>>(mNextId++, name);
                     break;
                 case DFTElementType::MUTEX:
                     STORM_LOG_THROW(false, storm::exceptions::NotSupportedException, "Gate type not supported.");

src/storage/dft/DFTElements.cpp

@@ -1,6 +1,7 @@
 #include <src/exceptions/NotImplementedException.h>
 #include <src/utility/macros.h>
 #include "DFTElements.h"
+#include "elements/DFTRestriction.h"
 
 namespace storm {
     namespace storage {

src/storage/dft/DFTIsomorphism.h

@@ -207,6 +207,7 @@ namespace storage {
         }
 
         void colourize(std::shared_ptr<const DFTGate<ValueType>> const& gate) {
+             std::cout <<  "Colour " << gate->id() << ": "  << gate->type() << " " << gate->nrChildren() << " " << gate->rank() << "." << std::endl;
              gateColour[gate->id()] = gateColourizer(gate->type(), gate->nrChildren(), gate->nrParents(), 0, gate->rank());
         }