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) => {