diff --git a/libyul/optimiser/ReasoningBasedSimplifier.cpp b/libyul/optimiser/ReasoningBasedSimplifier.cpp
index 3e186b7c2..9ba94c7c3 100644
--- a/libyul/optimiser/ReasoningBasedSimplifier.cpp
+++ b/libyul/optimiser/ReasoningBasedSimplifier.cpp
@@ -118,6 +118,9 @@ void ReasoningBasedSimplifier::operator()(ForLoop& _for)
 	else
 		m_pathCondition = branchCondition;
 	yulAssert(_for.pre.statements.empty());
+
+	//TODO clear variables assigned inside body and post
+
 	ASTModifier::operator()(_for.body);
 	// TODO clear modified variables!
 	ASTModifier::operator()(_for.post);