gspn and pgcl jani model builders now correctly add the model feature 'derived-operators'

src/storm-gspn/builder/JaniGSPNBuilder.cpp

@@ -25,6 +25,8 @@ namespace storm {
             if (buildStandardProperties) {
                 buildProperties(model);
             }
+            model->getModelFeatures().add(storm::jani::ModelFeature::DerivedOperators);
+            model->finalize();
             return model;
         }
         

src/storm-pgcl/builder/JaniProgramGraphBuilder.h

@@ -76,6 +76,8 @@ namespace storm {
                 addEdges(mainAutomaton);
                 model->addAutomaton(mainAutomaton);
                 model->setStandardSystemComposition();
+                model->getModelFeatures().add(storm::jani::ModelFeature::DerivedOperators);
+                model->finalize();
                 return model;
             }