added first rpatl fragment checker tests

Conflicts:
	src/test/storm/logic/FragmentCheckerTest.cpp

src/test/storm/logic/FragmentCheckerTest.cpp

@@ -169,6 +169,7 @@ TEST(FragmentCheckerTest, MultiObjective) {
     EXPECT_FALSE(checker.conformsToSpecification(*formula, multiobjective));
 }
 
+
 TEST(FragmentCheckerTest, Rpatl) {
     auto expManager = std::make_shared<storm::expressions::ExpressionManager>();
     storm::logic::FragmentChecker checker;