Index: src/ResolvExpr/AlternativeFinder.cc
===================================================================
--- src/ResolvExpr/AlternativeFinder.cc	(revision 9f4524bbf1ec917a0b5f4ca8fc294b1225b9c372)
+++ src/ResolvExpr/AlternativeFinder.cc	(revision d06c8082ddbb33e62239e6d16c4baee31b2c0526)
@@ -312,5 +312,5 @@
 		Cost convCost = conversionCost( actualType, formalType, indexer, env );
 		PRINT(
-			std::cerr << std::endl << "cost is" << convCost << std::endl;
+			std::cerr << std::endl << "cost is " << convCost << std::endl;
 		)
 		if ( convCost == Cost::infinity ) {
@@ -318,4 +318,7 @@
 		}
 		convCost.incPoly( polyCost( formalType, env, indexer ) + polyCost( actualType, env, indexer ) );
+		PRINT(
+			std::cerr << "cost with polycost is " << convCost << std::endl;
+		)
 		return convCost;
 	}
@@ -370,4 +373,5 @@
 				if ( function->get_isVarArgs() ) {
 					convCost.incUnsafe();
+					PRINT( std::cerr << "end of formals with varargs function: inc unsafe: " << convCost << std::endl; ; )
 					// convert reference-typed expressions to value-typed expressions
 					referenceToRvalueConversion( *actualExpr );
@@ -378,13 +382,4 @@
 			}
 			Type * formalType = (*formal)->get_type();
-			PRINT(
-				std::cerr << std::endl << "converting ";
-				actualType->print( std::cerr, 8 );
-				std::cerr << std::endl << " to ";
-				formalType->print( std::cerr, 8 );
-				std::cerr << std::endl << "environment is: ";
-				alt.env.print( std::cerr, 8 );
-				std::cerr << std::endl;
-			)
 			convCost += computeExpressionConversionCost( *actualExpr, formalType, indexer, alt.env );
 			++formal; // can't be in for-loop update because of the continue