diff --git a/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.hara/models/com.mbeddr.formal.safety.hara.structure.mps b/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.hara/models/com.mbeddr.formal.safety.hara.structure.mps
index e1855c2ac..5d4c2ef94 100644
--- a/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.hara/models/com.mbeddr.formal.safety.hara.structure.mps
+++ b/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.hara/models/com.mbeddr.formal.safety.hara.structure.mps
@@ -198,6 +198,15 @@
     <node concept="PrWs8" id="2hOvri9WL54" role="PzmwI">
       <ref role="PrY4T" to="tpck:h0TrEE$" resolve="INamedConcept" />
     </node>
+    <node concept="1irR5M" id="3mASqMCcrt6" role="rwd14">
+      <property role="2$rrk2" value="2" />
+      <node concept="1irPie" id="3mASqMCcrta" role="1irR9h">
+        <property role="1irPi9" value="▣" />
+        <node concept="3PKj8D" id="3mASqMCcrtf" role="3PKjny">
+          <property role="3PKj8l" value="987654" />
+        </node>
+      </node>
+    </node>
   </node>
   <node concept="1TIwiD" id="2RlaC$P86Ok">
     <property role="EcuMT" value="3302592670536330516" />