From 50f1b0397a840753fe3265f8f4798e0f2529ab29 Mon Sep 17 00:00:00 2001
From: danielratiu <ratiud@googlemail.com>
Date: Thu, 1 Mar 2018 21:51:05 +0100
Subject: [PATCH] formal base: added IIdentifierNamedConcept

---
 .../models/behavior.mps                       | 158 +++++++++++++++++-
 .../models/constraints.mps                    |  98 ++++++++++-
 .../models/structure.mps                      |  14 +-
 3 files changed, 265 insertions(+), 5 deletions(-)

diff --git a/code/languages/com.mbeddr.formal.nusmv/languages/com.mbeddr.formal.base/models/behavior.mps b/code/languages/com.mbeddr.formal.nusmv/languages/com.mbeddr.formal.base/models/behavior.mps
index 21c3d35f6..dc4d9f390 100644
--- a/code/languages/com.mbeddr.formal.nusmv/languages/com.mbeddr.formal.base/models/behavior.mps
+++ b/code/languages/com.mbeddr.formal.nusmv/languages/com.mbeddr.formal.base/models/behavior.mps
@@ -7,6 +7,7 @@
   </languages>
   <imports>
     <import index="b19z" ref="r:11a68676-9d63-4e1c-b920-59aefe77def3(com.mbeddr.formal.base.structure)" implicit="true" />
+    <import index="tpck" ref="r:00000000-0000-4000-0000-011c89590288(jetbrains.mps.lang.core.structure)" implicit="true" />
   </imports>
   <registry>
     <language id="af65afd8-f0dd-4942-87d9-63a55f2a9db1" name="jetbrains.mps.lang.behavior">
@@ -20,12 +21,29 @@
         <property id="1225194472832" name="isVirtual" index="13i0it" />
         <property id="1225194472834" name="isAbstract" index="13i0iv" />
       </concept>
+      <concept id="1225194691553" name="jetbrains.mps.lang.behavior.structure.ThisNodeExpression" flags="nn" index="13iPFW" />
     </language>
     <language id="f3061a53-9226-4cc5-a443-f952ceaf5816" name="jetbrains.mps.baseLanguage">
+      <concept id="1197027756228" name="jetbrains.mps.baseLanguage.structure.DotExpression" flags="nn" index="2OqwBi">
+        <child id="1197027771414" name="operand" index="2Oq$k0" />
+        <child id="1197027833540" name="operation" index="2OqNvi" />
+      </concept>
       <concept id="1137021947720" name="jetbrains.mps.baseLanguage.structure.ConceptFunction" flags="in" index="2VMwT0">
         <child id="1137022507850" name="body" index="2VODD2" />
       </concept>
+      <concept id="1070475926800" name="jetbrains.mps.baseLanguage.structure.StringLiteral" flags="nn" index="Xl_RD">
+        <property id="1070475926801" name="value" index="Xl_RC" />
+      </concept>
+      <concept id="1070534058343" name="jetbrains.mps.baseLanguage.structure.NullLiteral" flags="nn" index="10Nm6u" />
+      <concept id="1070534644030" name="jetbrains.mps.baseLanguage.structure.BooleanType" flags="in" index="10P_77" />
+      <concept id="1068431474542" name="jetbrains.mps.baseLanguage.structure.VariableDeclaration" flags="ng" index="33uBYm">
+        <child id="1068431790190" name="initializer" index="33vP2m" />
+      </concept>
+      <concept id="1068498886296" name="jetbrains.mps.baseLanguage.structure.VariableReference" flags="nn" index="37vLTw">
+        <reference id="1068581517664" name="variableDeclaration" index="3cqZAo" />
+      </concept>
       <concept id="1068498886292" name="jetbrains.mps.baseLanguage.structure.ParameterDeclaration" flags="ir" index="37vLTG" />
+      <concept id="1225271177708" name="jetbrains.mps.baseLanguage.structure.StringType" flags="in" index="17QB3L" />
       <concept id="4972933694980447171" name="jetbrains.mps.baseLanguage.structure.BaseVariableDeclaration" flags="ng" index="19Szcq">
         <child id="5680397130376446158" name="type" index="1tU5fm" />
       </concept>
@@ -34,18 +52,62 @@
         <child id="1068580123134" name="parameter" index="3clF46" />
         <child id="1068580123135" name="body" index="3clF47" />
       </concept>
-      <concept id="1068580123136" name="jetbrains.mps.baseLanguage.structure.StatementList" flags="sn" stub="5293379017992965193" index="3clFbS" />
+      <concept id="1068580123155" name="jetbrains.mps.baseLanguage.structure.ExpressionStatement" flags="nn" index="3clFbF">
+        <child id="1068580123156" name="expression" index="3clFbG" />
+      </concept>
+      <concept id="1068580123159" name="jetbrains.mps.baseLanguage.structure.IfStatement" flags="nn" index="3clFbJ">
+        <child id="1068580123160" name="condition" index="3clFbw" />
+        <child id="1068580123161" name="ifTrue" index="3clFbx" />
+      </concept>
+      <concept id="1068580123136" name="jetbrains.mps.baseLanguage.structure.StatementList" flags="sn" stub="5293379017992965193" index="3clFbS">
+        <child id="1068581517665" name="statement" index="3cqZAp" />
+      </concept>
+      <concept id="1068580123137" name="jetbrains.mps.baseLanguage.structure.BooleanConstant" flags="nn" index="3clFbT">
+        <property id="1068580123138" name="value" index="3clFbU" />
+      </concept>
+      <concept id="1068581242875" name="jetbrains.mps.baseLanguage.structure.PlusExpression" flags="nn" index="3cpWs3" />
+      <concept id="1068581242878" name="jetbrains.mps.baseLanguage.structure.ReturnStatement" flags="nn" index="3cpWs6">
+        <child id="1068581517676" name="expression" index="3cqZAk" />
+      </concept>
+      <concept id="1068581242864" name="jetbrains.mps.baseLanguage.structure.LocalVariableDeclarationStatement" flags="nn" index="3cpWs8">
+        <child id="1068581242865" name="localVariableDeclaration" index="3cpWs9" />
+      </concept>
+      <concept id="1068581242863" name="jetbrains.mps.baseLanguage.structure.LocalVariableDeclaration" flags="nr" index="3cpWsn" />
+      <concept id="1204053956946" name="jetbrains.mps.baseLanguage.structure.IMethodCall" flags="ng" index="1ndlxa">
+        <reference id="1068499141037" name="baseMethodDeclaration" index="37wK5l" />
+      </concept>
+      <concept id="1081773326031" name="jetbrains.mps.baseLanguage.structure.BinaryOperation" flags="nn" index="3uHJSO">
+        <child id="1081773367579" name="rightExpression" index="3uHU7w" />
+        <child id="1081773367580" name="leftExpression" index="3uHU7B" />
+      </concept>
+      <concept id="1073239437375" name="jetbrains.mps.baseLanguage.structure.NotEqualsExpression" flags="nn" index="3y3z36" />
       <concept id="1178549954367" name="jetbrains.mps.baseLanguage.structure.IVisible" flags="ng" index="1B3ioH">
         <child id="1178549979242" name="visibility" index="1B3o_S" />
       </concept>
       <concept id="1146644602865" name="jetbrains.mps.baseLanguage.structure.PublicVisibility" flags="nn" index="3Tm1VV" />
     </language>
     <language id="7866978e-a0f0-4cc7-81bc-4d213d9375e1" name="jetbrains.mps.lang.smodel">
+      <concept id="1177026924588" name="jetbrains.mps.lang.smodel.structure.RefConcept_Reference" flags="nn" index="chp4Y">
+        <reference id="1177026940964" name="conceptDeclaration" index="cht4Q" />
+      </concept>
+      <concept id="1138411891628" name="jetbrains.mps.lang.smodel.structure.SNodeOperation" flags="nn" index="eCIE_">
+        <child id="1144104376918" name="parameter" index="1xVPHs" />
+      </concept>
+      <concept id="1179409122411" name="jetbrains.mps.lang.smodel.structure.Node_ConceptMethodCall" flags="nn" index="2qgKlT" />
+      <concept id="1171407110247" name="jetbrains.mps.lang.smodel.structure.Node_GetAncestorOperation" flags="nn" index="2Xjw5R" />
       <concept id="1240170042401" name="jetbrains.mps.lang.smodel.structure.SEnumMemberType" flags="in" index="2ZThk1">
         <reference id="1240170836027" name="enum" index="2ZWj4r" />
       </concept>
       <concept id="6677504323281689838" name="jetbrains.mps.lang.smodel.structure.SConceptType" flags="in" index="3bZ5Sz" />
-      <concept id="1138055754698" name="jetbrains.mps.lang.smodel.structure.SNodeType" flags="in" index="3Tqbb2" />
+      <concept id="1144101972840" name="jetbrains.mps.lang.smodel.structure.OperationParm_Concept" flags="ng" index="1xMEDy">
+        <child id="1207343664468" name="conceptArgument" index="ri$Ld" />
+      </concept>
+      <concept id="1138055754698" name="jetbrains.mps.lang.smodel.structure.SNodeType" flags="in" index="3Tqbb2">
+        <reference id="1138405853777" name="concept" index="ehGHo" />
+      </concept>
+      <concept id="1138056022639" name="jetbrains.mps.lang.smodel.structure.SPropertyAccess" flags="nn" index="3TrcHB">
+        <reference id="1138056395725" name="property" index="3TsBF5" />
+      </concept>
     </language>
     <language id="ceab5195-25ea-4f22-9b92-103b95ca8c0c" name="jetbrains.mps.lang.core">
       <concept id="1169194658468" name="jetbrains.mps.lang.core.structure.INamedConcept" flags="ng" index="TrEIO">
@@ -100,5 +162,97 @@
       <node concept="3clFbS" id="6Kf5KB75w8U" role="2VODD2" />
     </node>
   </node>
+  <node concept="13h7C7" id="6oUHYlAmoFK">
+    <ref role="13h7C2" to="b19z:6oUHYlAmoE8" resolve="IIdentifierNamedConcept" />
+    <node concept="13i0hz" id="4JF77iuPCMH" role="13h7CS">
+      <property role="13i0iv" value="false" />
+      <property role="13i0it" value="true" />
+      <property role="TrG5h" value="qualifiedName" />
+      <node concept="3Tm1VV" id="4JF77iuPCMI" role="1B3o_S" />
+      <node concept="17QB3L" id="4JF77iuPCOg" role="3clF45" />
+      <node concept="3clFbS" id="4JF77iuPCMK" role="3clF47">
+        <node concept="3cpWs8" id="4JF77iuPP6V" role="3cqZAp">
+          <node concept="3cpWsn" id="4JF77iuPP6W" role="3cpWs9">
+            <property role="TrG5h" value="anc" />
+            <node concept="3Tqbb2" id="4JF77iuPP6X" role="1tU5fm">
+              <ref role="ehGHo" to="b19z:6oUHYlAmoE8" resolve="IIdentifierNamedConcept" />
+            </node>
+            <node concept="2OqwBi" id="4JF77iuPRyW" role="33vP2m">
+              <node concept="13iPFW" id="4JF77iuPP6Z" role="2Oq$k0" />
+              <node concept="2Xjw5R" id="4JF77iuPRz0" role="2OqNvi">
+                <node concept="1xMEDy" id="4JF77iuPRz1" role="1xVPHs">
+                  <node concept="chp4Y" id="6oUHYlAmpyJ" role="ri$Ld">
+                    <ref role="cht4Q" to="b19z:6oUHYlAmoE8" resolve="IIdentifierNamedConcept" />
+                  </node>
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="3clFbJ" id="4JF77iuPRz6" role="3cqZAp">
+          <node concept="3clFbS" id="4JF77iuPRz7" role="3clFbx">
+            <node concept="3cpWs6" id="4JF77iuPRzf" role="3cqZAp">
+              <node concept="3cpWs3" id="4JF77iuPRzr" role="3cqZAk">
+                <node concept="2OqwBi" id="4JF77iuPRzv" role="3uHU7w">
+                  <node concept="13iPFW" id="4JF77iuPRzu" role="2Oq$k0" />
+                  <node concept="3TrcHB" id="4JF77iuPRzz" role="2OqNvi">
+                    <ref role="3TsBF5" to="tpck:h0TrG11" resolve="name" />
+                  </node>
+                </node>
+                <node concept="3cpWs3" id="4JF77iuPRzn" role="3uHU7B">
+                  <node concept="2OqwBi" id="4JF77iuPRzi" role="3uHU7B">
+                    <node concept="37vLTw" id="4JF77iuPRzh" role="2Oq$k0">
+                      <ref role="3cqZAo" node="4JF77iuPP6W" resolve="anc" />
+                    </node>
+                    <node concept="2qgKlT" id="6oUHYlAmpR1" role="2OqNvi">
+                      <ref role="37wK5l" node="4JF77iuPCMH" resolve="qualifiedName" />
+                    </node>
+                  </node>
+                  <node concept="Xl_RD" id="4JF77iuPRzq" role="3uHU7w">
+                    <property role="Xl_RC" value="." />
+                  </node>
+                </node>
+              </node>
+            </node>
+          </node>
+          <node concept="3y3z36" id="4JF77iuPRzb" role="3clFbw">
+            <node concept="10Nm6u" id="4JF77iuPRze" role="3uHU7w" />
+            <node concept="37vLTw" id="5HxjapwgH5e" role="3uHU7B">
+              <ref role="3cqZAo" node="4JF77iuPP6W" resolve="anc" />
+            </node>
+          </node>
+        </node>
+        <node concept="3cpWs6" id="4JF77iuPRzD" role="3cqZAp">
+          <node concept="2OqwBi" id="4JF77iuPRzG" role="3cqZAk">
+            <node concept="13iPFW" id="4JF77iuPRzF" role="2Oq$k0" />
+            <node concept="3TrcHB" id="4JF77iuPRzK" role="2OqNvi">
+              <ref role="3TsBF5" to="tpck:h0TrG11" resolve="name" />
+            </node>
+          </node>
+        </node>
+      </node>
+    </node>
+    <node concept="13i0hz" id="6oUHYlAmq$w" role="13h7CS">
+      <property role="13i0iv" value="false" />
+      <property role="13i0it" value="true" />
+      <property role="TrG5h" value="isKeyword" />
+      <node concept="3Tm1VV" id="6oUHYlAmq$x" role="1B3o_S" />
+      <node concept="10P_77" id="6oUHYlAmqJ8" role="3clF45" />
+      <node concept="3clFbS" id="6oUHYlAmq$z" role="3clF47">
+        <node concept="3clFbF" id="6oUHYlAmqJW" role="3cqZAp">
+          <node concept="3clFbT" id="6oUHYlAmqJV" role="3clFbG">
+            <property role="3clFbU" value="false" />
+          </node>
+        </node>
+      </node>
+      <node concept="37vLTG" id="6oUHYlAmrQF" role="3clF46">
+        <property role="TrG5h" value="str" />
+        <node concept="17QB3L" id="6oUHYlAmrQE" role="1tU5fm" />
+      </node>
+    </node>
+    <node concept="13hLZK" id="6oUHYlAmoFL" role="13h7CW">
+      <node concept="3clFbS" id="6oUHYlAmoFM" role="2VODD2" />
+    </node>
+  </node>
 </model>
 
diff --git a/code/languages/com.mbeddr.formal.nusmv/languages/com.mbeddr.formal.base/models/constraints.mps b/code/languages/com.mbeddr.formal.nusmv/languages/com.mbeddr.formal.base/models/constraints.mps
index e1cad3c66..55ea1b275 100644
--- a/code/languages/com.mbeddr.formal.nusmv/languages/com.mbeddr.formal.base/models/constraints.mps
+++ b/code/languages/com.mbeddr.formal.nusmv/languages/com.mbeddr.formal.base/models/constraints.mps
@@ -5,7 +5,101 @@
     <use id="3f4bc5f5-c6c1-4a28-8b10-c83066ffa4a1" name="jetbrains.mps.lang.constraints" version="4" />
     <devkit ref="00000000-0000-4000-0000-5604ebd4f22c(jetbrains.mps.devkit.aspect.constraints)" />
   </languages>
-  <imports />
-  <registry />
+  <imports>
+    <import index="b19z" ref="r:11a68676-9d63-4e1c-b920-59aefe77def3(com.mbeddr.formal.base.structure)" implicit="true" />
+    <import index="tpck" ref="r:00000000-0000-4000-0000-011c89590288(jetbrains.mps.lang.core.structure)" implicit="true" />
+    <import index="w873" ref="r:0de03bcd-6ad8-423c-b85e-ae3dd18ed2b3(com.mbeddr.formal.base.behavior)" implicit="true" />
+    <import index="wyt6" ref="6354ebe7-c22a-4a0f-ac54-50b52ab9b065/java:java.lang(JDK/)" implicit="true" />
+  </imports>
+  <registry>
+    <language id="f3061a53-9226-4cc5-a443-f952ceaf5816" name="jetbrains.mps.baseLanguage">
+      <concept id="1202948039474" name="jetbrains.mps.baseLanguage.structure.InstanceMethodCallOperation" flags="nn" index="liA8E" />
+      <concept id="1197027756228" name="jetbrains.mps.baseLanguage.structure.DotExpression" flags="nn" index="2OqwBi">
+        <child id="1197027771414" name="operand" index="2Oq$k0" />
+        <child id="1197027833540" name="operation" index="2OqNvi" />
+      </concept>
+      <concept id="1137021947720" name="jetbrains.mps.baseLanguage.structure.ConceptFunction" flags="in" index="2VMwT0">
+        <child id="1137022507850" name="body" index="2VODD2" />
+      </concept>
+      <concept id="1070475926800" name="jetbrains.mps.baseLanguage.structure.StringLiteral" flags="nn" index="Xl_RD">
+        <property id="1070475926801" name="value" index="Xl_RC" />
+      </concept>
+      <concept id="1068580123159" name="jetbrains.mps.baseLanguage.structure.IfStatement" flags="nn" index="3clFbJ">
+        <child id="1068580123160" name="condition" index="3clFbw" />
+        <child id="1068580123161" name="ifTrue" index="3clFbx" />
+      </concept>
+      <concept id="1068580123136" name="jetbrains.mps.baseLanguage.structure.StatementList" flags="sn" stub="5293379017992965193" index="3clFbS">
+        <child id="1068581517665" name="statement" index="3cqZAp" />
+      </concept>
+      <concept id="1068580123137" name="jetbrains.mps.baseLanguage.structure.BooleanConstant" flags="nn" index="3clFbT">
+        <property id="1068580123138" name="value" index="3clFbU" />
+      </concept>
+      <concept id="1068581242878" name="jetbrains.mps.baseLanguage.structure.ReturnStatement" flags="nn" index="3cpWs6">
+        <child id="1068581517676" name="expression" index="3cqZAk" />
+      </concept>
+      <concept id="1081516740877" name="jetbrains.mps.baseLanguage.structure.NotExpression" flags="nn" index="3fqX7Q">
+        <child id="1081516765348" name="expression" index="3fr31v" />
+      </concept>
+      <concept id="1204053956946" name="jetbrains.mps.baseLanguage.structure.IMethodCall" flags="ng" index="1ndlxa">
+        <reference id="1068499141037" name="baseMethodDeclaration" index="37wK5l" />
+        <child id="1068499141038" name="actualArgument" index="37wK5m" />
+      </concept>
+    </language>
+    <language id="3f4bc5f5-c6c1-4a28-8b10-c83066ffa4a1" name="jetbrains.mps.lang.constraints">
+      <concept id="1147467115080" name="jetbrains.mps.lang.constraints.structure.NodePropertyConstraint" flags="ng" index="EnEH3">
+        <reference id="1147467295099" name="applicableProperty" index="EomxK" />
+        <child id="1212097481299" name="propertyValidator" index="QCWH9" />
+      </concept>
+      <concept id="1147468365020" name="jetbrains.mps.lang.constraints.structure.ConstraintsFunctionParameter_node" flags="nn" index="EsrRn" />
+      <concept id="1212096972063" name="jetbrains.mps.lang.constraints.structure.ConstraintFunction_PropertyValidator" flags="in" index="QB0g5" />
+      <concept id="1213093968558" name="jetbrains.mps.lang.constraints.structure.ConceptConstraints" flags="ng" index="1M2fIO">
+        <reference id="1213093996982" name="concept" index="1M2myG" />
+        <child id="1213098023997" name="property" index="1MhHOB" />
+      </concept>
+      <concept id="1153138554286" name="jetbrains.mps.lang.constraints.structure.ConstraintsFunctionParameter_propertyValue" flags="nn" index="1Wqviy" />
+    </language>
+    <language id="7866978e-a0f0-4cc7-81bc-4d213d9375e1" name="jetbrains.mps.lang.smodel">
+      <concept id="1179409122411" name="jetbrains.mps.lang.smodel.structure.Node_ConceptMethodCall" flags="nn" index="2qgKlT" />
+    </language>
+  </registry>
+  <node concept="1M2fIO" id="6oUHYlAmq1s">
+    <ref role="1M2myG" to="b19z:6oUHYlAmoE8" resolve="IIdentifierNamedConcept" />
+    <node concept="EnEH3" id="6oUHYlAmq1t" role="1MhHOB">
+      <ref role="EomxK" to="tpck:h0TrG11" resolve="name" />
+      <node concept="QB0g5" id="6oUHYlAmq1v" role="QCWH9">
+        <node concept="3clFbS" id="6oUHYlAmq1w" role="2VODD2">
+          <node concept="3clFbJ" id="4WLtQa9hIv3" role="3cqZAp">
+            <node concept="3clFbS" id="4WLtQa9hIv4" role="3clFbx">
+              <node concept="3cpWs6" id="4WLtQa9hICJ" role="3cqZAp">
+                <node concept="3fqX7Q" id="4WLtQa9hICL" role="3cqZAk">
+                  <node concept="2OqwBi" id="6oUHYlAmr9h" role="3fr31v">
+                    <node concept="EsrRn" id="6oUHYlAmqVF" role="2Oq$k0" />
+                    <node concept="2qgKlT" id="6oUHYlAmrvo" role="2OqNvi">
+                      <ref role="37wK5l" to="w873:6oUHYlAmq$w" resolve="isKeyword" />
+                      <node concept="1Wqviy" id="6oUHYlAmrF0" role="37wK5m" />
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+            <node concept="2OqwBi" id="65XyadYKJgV" role="3clFbw">
+              <node concept="1Wqviy" id="65XyadYKJgW" role="2Oq$k0" />
+              <node concept="liA8E" id="65XyadYKJgX" role="2OqNvi">
+                <ref role="37wK5l" to="wyt6:~String.matches(java.lang.String):boolean" resolve="matches" />
+                <node concept="Xl_RD" id="65XyadYKJgY" role="37wK5m">
+                  <property role="Xl_RC" value="[a-zA-Z$[_]][a-zA-Z0-9$[_]]*" />
+                </node>
+              </node>
+            </node>
+          </node>
+          <node concept="3cpWs6" id="4WLtQa9hIva" role="3cqZAp">
+            <node concept="3clFbT" id="4WLtQa9hIvd" role="3cqZAk">
+              <property role="3clFbU" value="false" />
+            </node>
+          </node>
+        </node>
+      </node>
+    </node>
+  </node>
 </model>
 
diff --git a/code/languages/com.mbeddr.formal.nusmv/languages/com.mbeddr.formal.base/models/structure.mps b/code/languages/com.mbeddr.formal.nusmv/languages/com.mbeddr.formal.base/models/structure.mps
index a59df1867..7def2ac4b 100644
--- a/code/languages/com.mbeddr.formal.nusmv/languages/com.mbeddr.formal.base/models/structure.mps
+++ b/code/languages/com.mbeddr.formal.nusmv/languages/com.mbeddr.formal.base/models/structure.mps
@@ -29,7 +29,12 @@
         <property id="6714410169261853888" name="conceptId" index="EcuMT" />
         <child id="1071489727084" name="propertyDeclaration" index="1TKVEl" />
       </concept>
-      <concept id="1169125989551" name="jetbrains.mps.lang.structure.structure.InterfaceConceptDeclaration" flags="ig" index="PlHQZ" />
+      <concept id="1169125989551" name="jetbrains.mps.lang.structure.structure.InterfaceConceptDeclaration" flags="ig" index="PlHQZ">
+        <child id="1169127546356" name="extends" index="PrDN$" />
+      </concept>
+      <concept id="1169127622168" name="jetbrains.mps.lang.structure.structure.InterfaceConceptReference" flags="ig" index="PrWs8">
+        <reference id="1169127628841" name="intfc" index="PrY4T" />
+      </concept>
       <concept id="1071489090640" name="jetbrains.mps.lang.structure.structure.ConceptDeclaration" flags="ig" index="1TIwiD">
         <reference id="1071489389519" name="extends" index="1TJDcQ" />
       </concept>
@@ -95,5 +100,12 @@
     <property role="EcuMT" value="7786467611509129758" />
     <property role="TrG5h" value="IVisibleElementsScopeProvider" />
   </node>
+  <node concept="PlHQZ" id="6oUHYlAmoE8">
+    <property role="EcuMT" value="7366402336410405512" />
+    <property role="TrG5h" value="IIdentifierNamedConcept" />
+    <node concept="PrWs8" id="6oUHYlAmoE9" role="PrDN$">
+      <ref role="PrY4T" to="tpck:h0TrEE$" resolve="INamedConcept" />
+    </node>
+  </node>
 </model>