Index: src/ResolvExpr/AlternativeFinder.cc
===================================================================
--- src/ResolvExpr/AlternativeFinder.cc	(revision 52e2e3f68c44c96cbeb1faec1ab3dd555dbad896)
+++ 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 );