Index: src/ResolvExpr/AlternativeFinder.cc
===================================================================
--- src/ResolvExpr/AlternativeFinder.cc	(revision 98a249fbb9735b5f15e5de97f07784fc1d3f2032)
+++ src/ResolvExpr/AlternativeFinder.cc	(revision 7e4c4f47da4da2c1598a50ccf667c8b9f65d572b)
@@ -1106,5 +1106,13 @@
 			unify( castExpr->get_result(), i->expr->get_result(), i->env, needAssertions, haveAssertions, openVars, indexer );
 			Cost thisCost = castCost( i->expr->get_result(), castExpr->get_result(), indexer, i->env );
+			PRINT(
+				std::cerr << "working on cast with result: " << castExpr->result << std::endl;
+				std::cerr << "and expr type: " << i->expr->result << std::endl;
+				std::cerr << "env: " << i->env << std::endl;
+			)
 			if ( thisCost != Cost::infinity ) {
+				PRINT(
+					std::cerr << "has finite cost." << std::endl;
+				)
 				// count one safe conversion for each value that is thrown away
 				thisCost.incSafe( discardedValues );