diff --git a/libsmtutil/Z3Interface.cpp b/libsmtutil/Z3Interface.cpp
index 8d7a03392..1be59abc9 100644
--- a/libsmtutil/Z3Interface.cpp
+++ b/libsmtutil/Z3Interface.cpp
@@ -96,6 +96,7 @@ void Z3Interface::addAssertion(Expression const& _expr)
 
 pair<CheckResult, vector<string>> Z3Interface::check(vector<Expression> const& _expressionsToEvaluate)
 {
+	std::cout  << m_solver << std::endl;
 	CheckResult result;
 	vector<string> values;
 	try
diff --git a/test/libyul/YulOptimizerTest.cpp b/test/libyul/YulOptimizerTest.cpp
index 9fb08bbc0..930550275 100644
--- a/test/libyul/YulOptimizerTest.cpp
+++ b/test/libyul/YulOptimizerTest.cpp
@@ -437,16 +437,16 @@ TestCase::TestResult YulOptimizerTest::run(ostream& _stream, string const& _line
 	else if (m_optimizerStep == "memoryLoadResolver")
 	{
 		disambiguate();
-		ForLoopInitRewriter::run(*m_context, *m_object->code);
-		ExpressionSplitter::run(*m_context, *m_object->code);
-		SSATransform::run(*m_context, *m_object->code);
+		// ForLoopInitRewriter::run(*m_context, *m_object->code);
+		// ExpressionSplitter::run(*m_context, *m_object->code);
+		// SSATransform::run(*m_context, *m_object->code);
 
 		MemoryLoadResolver::run(*m_context, *m_object->code);
 
-		// Cleanup
-		UnusedPruner::run(*m_context, *m_object->code);
-		ExpressionJoiner::run(*m_context, *m_object->code);
-		ExpressionJoiner::run(*m_context, *m_object->code);
+		// // Cleanup
+		// UnusedPruner::run(*m_context, *m_object->code);
+		// ExpressionJoiner::run(*m_context, *m_object->code);
+		// ExpressionJoiner::run(*m_context, *m_object->code);
 	}
 	else
 	{