Index: src/ResolvExpr/AlternativeFinder.cc
===================================================================
--- src/ResolvExpr/AlternativeFinder.cc	(revision a4ca48cb2a2bd7a18b74f59046bc85b612b8c212)
+++ src/ResolvExpr/AlternativeFinder.cc	(revision 8d722ccd70892f5a8493fa5275330663ce8fb632)
@@ -523,5 +523,5 @@
 		for ( AssertionSet::iterator i = assertSet.begin(); i != assertSet.end(); ++i ) {
 			if ( i->second.isUsed ) {
-				i->first->accept( indexer );
+				indexer.addId( i->first );
 			}
 		}