From 70747bb8d0160a9f8c463fa9afa63bfbce0de65b Mon Sep 17 00:00:00 2001
From: Elizabeth Polgreen <epolgreen@gmail.com>
Date: Thu, 9 May 2024 13:21:43 +0100
Subject: [PATCH] tmp

---
 src/main/scala/uclid/lang/BlockFlattener.scala | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/src/main/scala/uclid/lang/BlockFlattener.scala b/src/main/scala/uclid/lang/BlockFlattener.scala
index fd74b4e7..18e84c0d 100644
--- a/src/main/scala/uclid/lang/BlockFlattener.scala
+++ b/src/main/scala/uclid/lang/BlockFlattener.scala
@@ -157,8 +157,7 @@ class BlockFlattenerPass extends RewritePass {
           val readSet = StatementScheduler.readSets(blk.asInstanceOf[BlockStmt].stmts, context)
           acc ++ readSet
         }
-      }.filter(id => context.map.contains(id) && context.map(id).isInstanceOf[Scope.StateVar] 
-                              && (!id.name.startsWith("__ucld")))
+      }.filter(id => context.map.contains(id) && context.map(id).isInstanceOf[Scope.StateVar])
 
       val writes = filteredStmts.foldLeft(Set.empty[Identifier]) {
         (acc, blk) => {