Index: src/ResolvExpr/SatisfyAssertions.cpp
===================================================================
--- src/ResolvExpr/SatisfyAssertions.cpp	(revision 09da82dda65553a9f7ddeef8893821d2a45a2a87)
+++ src/ResolvExpr/SatisfyAssertions.cpp	(revision 1958fec9f9994b819ba4d3a3fde1aab2a6393be1)
@@ -385,5 +385,5 @@
 
 	/// Limit to depth of recursion of assertion satisfaction
-	static const int recursionLimit = 4;
+	static const int recursionLimit = 8;
 	/// Maximum number of simultaneously-deferred assertions to attempt concurrent satisfaction of
 	static const int deferLimit = 10;