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 { S } => S ~> restoreEnv(E) ...
+ E
+
+ syntax KItem ::= restoreEnv(Map)
+ rule restoreEnv(E) => .K ...
+ _ => E
+
endmodule