Index: src/ResolvExpr/Candidate.hpp
===================================================================
--- src/ResolvExpr/Candidate.hpp	(revision 462a7c71b73f09a9b66be205a97e657e38d1196c)
+++ src/ResolvExpr/Candidate.hpp	(revision 800bae1ceaef4edb966cdb57daf39b5e6e02c074)
@@ -9,7 +9,7 @@
 // Author           : Aaron B. Moss
 // Created On       : Wed Jun 5 14:30:00 2019
-// Last Modified By : Aaron B. Moss
-// Last Modified On : Wed Jun 5 14:30:00 2019
-// Update Count     : 1
+// Last Modified By : Andrew Beach
+// Last Modified On : Wed Jun 12 14:15:00 2019
+// Update Count     : 2
 //
 
@@ -49,16 +49,16 @@
 
 	Candidate() : expr(), cost( Cost::zero ), cvtCost( Cost::zero ), env(), open(), need() {}
-	
+
 	Candidate( const ast::Expr * x, const ast::TypeEnvironment & e )
 	: expr( x ), cost( Cost::zero ), cvtCost( Cost::zero ), env( e ), open(), need() {}
 
 	Candidate( const Candidate & o, const ast::Expr * x )
-	: expr( x ), cost( o.cost ), cvtCost( Cost::zero ), env( o.env ), open( o.open ), 
+	: expr( x ), cost( o.cost ), cvtCost( Cost::zero ), env( o.env ), open( o.open ),
 	  need( o.need ) {}
-	
-	Candidate( 
-		const ast::Expr * x, ast::TypeEnvironment && e, ast::OpenVarSet && o, 
-		ast::AssertionSet && n, const Cost & c )
-	: expr( x ), cost( c ), cvtCost( Cost::zero ), env( std::move( e ) ), open( std::move( o ) ), 
+
+	Candidate(
+		const ast::Expr * x, ast::TypeEnvironment && e, ast::OpenVarSet && o,
+		ast::AssertionSet && n, const Cost & c, const Cost & cvt = Cost::zero )
+	: expr( x ), cost( c ), cvtCost( cvt ), env( std::move( e ) ), open( std::move( o ) ),
 	  need( n.begin(), n.end() ) {}
 };