Index: src/ResolvExpr/AlternativeFinder.cc
===================================================================
--- src/ResolvExpr/AlternativeFinder.cc	(revision ebf5689b72f9bf111b7bb9c1c8b3c47899528e7f)
+++ src/ResolvExpr/AlternativeFinder.cc	(revision b9be079b6f4aafb32376b0f069cdf8012c80e9c9)
@@ -466,5 +466,5 @@
 			AssertionParentSet newNeedParents( needParents );
 			// skip repeatingly-self-recursive assertion satisfaction
-			if ( needParents[ curDecl ][ *candidate ]++ > recursionParentLimit ) return;
+			if ( newNeedParents[ curDecl ][ *candidate ]++ > recursionParentLimit ) return;
 			
 			AssertionSet newHave, newerNeed( newNeed );