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