Index: src/ResolvExpr/SatisfyAssertions.cpp
===================================================================
--- src/ResolvExpr/SatisfyAssertions.cpp	(revision e172f4282bdde75d2719d7f3a0220b5fc643bd00)
+++ src/ResolvExpr/SatisfyAssertions.cpp	(revision 3a7aa94e697cfe6575ffbfec969567cc0eecc91f)
@@ -70,5 +70,5 @@
 		  need( std::move( n ) ), open( std::move( o ) ), resnSlot( rs ) {
 			if (!have.empty()) {
-				std::cerr << c.id->location << ':' << c.id->name << std::endl;
+				// std::cerr << c.id->location << ':' << c.id->name << std::endl; // I think this was debugging code so I commented it
 			}
 		  }
@@ -169,8 +169,8 @@
 	AssertionResult satisfyAssertion( ast::AssertionList::value_type & assn, SatState & sat, bool skipUnbound = false) {
 		// skip unused assertions
-		static unsigned int cnt = 0;
+		// static unsigned int cnt = 0; // I think this was debugging code so I commented it
 		if ( ! assn.second.isUsed ) return AssertionResult::Success;
 
-		if (assn.first->var->name[1] == '|') std::cerr << ++cnt << std::endl;
+		// if (assn.first->var->name[1] == '|') std::cerr << ++cnt << std::endl; // I think this was debugging code so I commented it
 
 		// find candidates that unify with the desired type