diff --git a/test/libsolidity/SMTChecker.cpp b/test/libsolidity/SMTChecker.cpp
index 9fbab03a2..ff93f7c77 100644
--- a/test/libsolidity/SMTChecker.cpp
+++ b/test/libsolidity/SMTChecker.cpp
@@ -241,6 +241,24 @@ BOOST_AUTO_TEST_CASE(branches_assert_condition)
 		}
 	)";
 	CHECK_SUCCESS_NO_WARNINGS(text);
+	text = R"(
+		contract C {
+			function f(uint x) public pure {
+				if (x > 10) {
+					assert(x > 9);
+				}
+				else if (x > 2)
+				{
+					assert(x <= 10 && x > 2);
+				}
+				else
+				{
+				   assert(0 <= x && x <= 2);
+				}
+			}
+		}
+	)";
+	CHECK_SUCCESS_NO_WARNINGS(text);
 }
 
 BOOST_AUTO_TEST_CASE(ways_to_clear_variables)