Fixed crucial typo in symmetry ordering

src/storm-dft/storage/dft/DFTIsomorphism.h

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

src/storm-dft/storage/dft/SymmetricUnits.h

@@ -108,7 +108,7 @@ namespace storm {
                 }
                 // Sort by length of symmetry or (if equal) by lower first element
                 std::sort(sortedGroups.begin(), sortedGroups.end(), [&](const size_t left, const size_t right) {
-                    return groups.at(left).size() < groups.at(right).size() || (groups.at(left).size() == groups.at(right).size() && groups.at(left).front().front() < groups.at(left).front().front());
+                    return groups.at(left).size() < groups.at(right).size() || (groups.at(left).size() == groups.at(right).size() && groups.at(left).front().front() < groups.at(right).front().front());
                 });
                 
                 // Sort hierarchical