From 0966c77fa640a938540e5f3f705813eb74d30afc Mon Sep 17 00:00:00 2001
From: chriseth <chris@ethereum.org>
Date: Mon, 21 Mar 2022 12:36:43 +0100
Subject: [PATCH] Comment

---
 libyul/optimiser/ReasoningBasedSimplifier.h | 2 ++
 1 file changed, 2 insertions(+)

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: