diff --git a/test/parser/PrctlParserTest.cpp b/test/parser/PrctlParserTest.cpp
index 9b61af858..058271207 100644
--- a/test/parser/PrctlParserTest.cpp
+++ b/test/parser/PrctlParserTest.cpp
@@ -122,7 +122,7 @@ TEST(PrctlParserTest, parseComplexFormulaTest) {
 	ASSERT_NE(prctlParser->getFormula(), nullptr);
 
 
-	ASSERT_EQ(prctlParser->getFormula()->toString(), "(P <= 0.500000 [F a] && (R > 15.000000 [G !b] || P > 0.900000 [F<=7 (a && b)]))");
+	ASSERT_EQ(prctlParser->getFormula()->toString(), "(P <= 0.500000 [F a] && (R > 15.000000 [G P > 0.900000 [F<=7 (a && b)]] || !P < 0.400000 [G !b]))");
 	delete prctlParser->getFormula();
 	delete prctlParser;
 
diff --git a/test/parser/prctl_files/complexFormula.prctl b/test/parser/prctl_files/complexFormula.prctl
index c9c8d9f3f..0cf4504b9 100644
--- a/test/parser/prctl_files/complexFormula.prctl
+++ b/test/parser/prctl_files/complexFormula.prctl
@@ -1 +1 @@
-(P<=0.5 [ F a ] & (R > 15 [ G !b ] | P>0.9 [F<=7 (a & b)]))
\ No newline at end of file
+(P<=0.5 [ F a ] & (R > 15 [ G P>0.9 [F<=7 (a & b)] ] | !P < 0.4 [ G !b ]))
\ No newline at end of file