Index: src/ResolvExpr/SatisfyAssertions.cpp
===================================================================
--- src/ResolvExpr/SatisfyAssertions.cpp	(revision 7583c027898ebc37d8fd806c221f4dfba3d9e80b)
+++ 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;