Index: src/ResolvExpr/AlternativeFinder.cc
===================================================================
--- src/ResolvExpr/AlternativeFinder.cc	(revision e64365cb8a3dc561dd0db42b495e2b30dc1a06ae)
+++ src/ResolvExpr/AlternativeFinder.cc	(revision 177a5cefed68e51aa2e3240e4541facc5f85496d)
@@ -414,5 +414,5 @@
 	//typedef std::unordered_map< UniqueId, std::unordered_map< UniqueId, unsigned > > AssertionParentSet;
 	
-	static const int recursionLimit = /*10*/ 3;  ///< Limit to depth of recursion satisfaction
+	static const int recursionLimit = /*10*/ 4;  ///< Limit to depth of recursion satisfaction
 	//static const unsigned recursionParentLimit = 1;  ///< Limit to the number of times an assertion can recursively use itself