Index: src/InitTweak/FixInit.cc
===================================================================
--- src/InitTweak/FixInit.cc	(revision bc4bea8d55e65e4a11ce31fe3543dd8270eccfb8)
+++ src/InitTweak/FixInit.cc	(revision 4741dfe074ccc55bc19d7ab13693524d07c040b1)
@@ -715,16 +715,19 @@
 				stmtsToAddBefore.push_back( new DeclStmt( ret ) );
 
-				if(!stmtExpr->resultExpr) {
-					SemanticError(stmtExpr, "Statement-Expression should have a resulting expression");
-				}
+				assertf(
+					stmtExpr->resultExpr,
+					"Statement-Expression should have a resulting expression at %s:%d",
+					stmtExpr->location.filename.c_str(),
+					stmtExpr->location.first_line
+				);
+
 				ExprStmt * last = stmtExpr->resultExpr;
 				try {
 					last->expr = makeCtorDtor( "?{}", ret, last->expr );
 				} catch(...) {
-					std::cerr << "=======================" << std::endl;
-					std::cerr << "ERROR, can't resolve" << std::endl;
-					ret->print(std::cerr);
-					std::cerr << std::endl << "---" << std::endl;
-					last->expr->print(std::cerr);
+					std::cerr << "*CFA internal error: ";
+					std::cerr << "can't resolve implicit constructor";
+					std::cerr << " at " << stmtExpr->location.filename;
+					std::cerr << ":" << stmtExpr->location.first_line << std::endl;
 
 					abort();