From c7b643ea239021294af5cfa5355ddb5ea6fda7db Mon Sep 17 00:00:00 2001
From: Dwight Guth <dwight.guth@pi2.network>
Date: Mon, 26 Aug 2024 10:24:39 -0500
Subject: [PATCH] blocks

---
 src/statement.md | 9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/src/statement.md b/src/statement.md
index d0063a0..9949f23 100644
--- a/src/statement.md
+++ b/src/statement.md
@@ -36,4 +36,13 @@ module SOLIDITY-STATEMENT
   rule if ( v(false, bool ) ) _ => .K
   rule if ( v(true, bool ) ) S else _ => S
   rule if ( v(false, bool ) ) _ else S => S
+
+  // blocks
+  rule <k> { S } => S ~> restoreEnv(E) ...</k>
+       <env> E </env>
+
+  syntax KItem ::= restoreEnv(Map)
+  rule <k> restoreEnv(E) => .K ...</k>
+       <env> _ => E </env>
+
 endmodule