diff --git a/libyul/optimiser/ReasoningBasedSimplifier.h b/libyul/optimiser/ReasoningBasedSimplifier.h
index 7c8a05256..c645483e8 100644
--- a/libyul/optimiser/ReasoningBasedSimplifier.h
+++ b/libyul/optimiser/ReasoningBasedSimplifier.h
@@ -47,6 +47,8 @@ namespace solidity::yul
  *
  * Prerequisite: Disambiguator, SSATransform.
  */
+
+// TODO This only works for SSA variables - do we want to combine it wih the data flow analyzer?
 class ReasoningBasedSimplifier: public ASTModifier, SMTSolver
 {
 public: