Index: src/GenPoly/Specialize.cc
===================================================================
--- src/GenPoly/Specialize.cc	(revision 9939dc312f9fd40e9451c8c3c70ac5e68e233d16)
+++ src/GenPoly/Specialize.cc	(revision 2ed32fa79f48cc64f2de86bc0262f9ee73af2f0c)
@@ -247,4 +247,5 @@
 			structureArg( (*actualBegin)->get_type(), argBegin, argEnd, back_inserter( appExpr->get_args() ) );
 		}
+		assertf( argBegin == argEnd, "Did not structure all arguments." );
 
 		appExpr->env = TypeSubstitution::newFromExpr( appExpr, env );