bugfix

Author: tonibohnlein

include/osp/dag_divider/isomorphism_divider/OrbitGraphProcessor.hpp

@@ -243,7 +243,7 @@ class OrbitGraphProcessor {
         }
     }
 
-    void contract_edges(const Graph_t &original_dag, Constr_Graph_t& current_coarse_graph, std::vector<Group>& current_groups, std::vector<VertexType>& current_contraction_map, const bool merge_different_node_types, const bool merge_symmetry_narrowing) {
+    void contract_edges(const Graph_t &original_dag, Constr_Graph_t& current_coarse_graph, std::vector<Group>& current_groups, std::vector<VertexType>& current_contraction_map, const bool merge_symmetry_narrowing, const bool merge_different_node_types) {
 
         bool changed = true;
         while (changed) {
@@ -337,6 +337,7 @@ class OrbitGraphProcessor {
                     if constexpr (verbose) {
                         std::cout << "  - Merge of " << u << " and " << v << " increases critical path. Skipping.\n";
                     }
+                    non_viable_edges_cache_.insert({u, v});
                     continue;
                 }