removed some tests to reflect new behavior of JANI compositions may refer to unknown actions

src/test/storm/builder/DdJaniModelBuilderTest.cpp

@@ -441,15 +441,6 @@ TEST(DdJaniModelBuilderTest_Cudd, SynchronizationVectors) {
     model = builder.build(janiModel);
     EXPECT_EQ(4ul, model->getNumberOfStates());
     EXPECT_EQ(5ul, model->getNumberOfTransitions());
-    
-    inputVector.clear();
-    inputVector.push_back("b");
-    inputVector.push_back("c");
-    inputVector.push_back("b");
-    synchronizationVectors.push_back(storm::jani::SynchronizationVector(inputVector, "e"));
-    newComposition = std::make_shared<storm::jani::ParallelComposition>(automataCompositions, synchronizationVectors);
-    janiModel.setSystemComposition(newComposition);
-    EXPECT_THROW(model = builder.build(janiModel), storm::exceptions::WrongFormatException);
 }
 
 TEST(DdJaniModelBuilderTest_Sylvan, SynchronizationVectors) {
@@ -587,15 +578,6 @@ TEST(DdJaniModelBuilderTest_Sylvan, SynchronizationVectors) {
     model = builder.build(janiModel);
     EXPECT_EQ(4ul, model->getNumberOfStates());
     EXPECT_EQ(5ul, model->getNumberOfTransitions());
-    
-    inputVector.clear();
-    inputVector.push_back("b");
-    inputVector.push_back("c");
-    inputVector.push_back("b");
-    synchronizationVectors.push_back(storm::jani::SynchronizationVector(inputVector, "e"));
-    newComposition = std::make_shared<storm::jani::ParallelComposition>(automataCompositions, synchronizationVectors);
-    janiModel.setSystemComposition(newComposition);
-    EXPECT_THROW(model = builder.build(janiModel), storm::exceptions::WrongFormatException);
 }
 
 TEST(DdJaniModelBuilderTest_Sylvan, Composition) {