Index: src/ResolvExpr/AlternativeFinder.cc
===================================================================
--- src/ResolvExpr/AlternativeFinder.cc	(revision 954ef5b6ded94722e95fc32aa53a2183a230faa4)
+++ src/ResolvExpr/AlternativeFinder.cc	(revision df626ebafe6de5b4ec1e48c73cde07ba2d8dd86a)
@@ -632,7 +632,6 @@
 					std::cerr << std::endl;
 				)
-				ApplicationExpr *appExpr = static_cast< ApplicationExpr* >( newerAlt.expr );
 				// follow the current assertion's ID chain to find the correct set of inferred parameters to add the candidate to (i.e. the set of inferred parameters belonging to the entity which requested the assertion parameter).
-				InferredParams * inferParameters = &appExpr->get_inferParams();
+				InferredParams * inferParameters = &newerAlt.expr->get_inferParams();
 				for ( UniqueId id : cur->second.idChain ) {
 					inferParameters = (*inferParameters)[ id ].inferParams.get();