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